From 6cb3e59e3b50abe0958717c6202d2e290943276b Mon Sep 17 00:00:00 2001
From: Martin Stjernholm <mast@lysator.liu.se>
Date: Sun, 6 Jun 1999 18:01:43 +0200
Subject: [PATCH] Fixes in handling of .configureargs. Now reports the
 configureargs in use.

Rev: Makefile:1.12
---
 Makefile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 545cb05d4a..7eb76d44ec 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile,v 1.11 1999/05/31 06:20:01 peter Exp $
+# $Id: Makefile,v 1.12 1999/06/06 16:01:43 mast Exp $
 #
 # Meta Makefile
 #
@@ -24,11 +24,11 @@ force:
 
 src/configure: src/configure.in
 	cd src && ./run_autoconfig . 2>&1 | grep -v warning
-	-@(cd "$(BUILDDIR)" 2>/dev/null && rm -f Makefile .configureargs || :)
+	-rm -f "$(BUILDDIR)/Makefile"
 
 force_configure:
 	cd src && ./run_autoconfig . 2>&1 | grep -v warning
-	-@(cd "$(BUILDDIR)" 2>/dev/null && rm -f Makefile .configureargs || :)
+	-rm -f "$(BUILDDIR)/Makefile"
 
 builddir:
 	@builddir="$(BUILDDIR)"; \
@@ -50,6 +50,9 @@ configure: src/configure builddir
 	  else \
 	    configureargs="$(CONFIGUREARGS)"; \
 	  fi; \
+	  echo; \
+	  echo Configure arguments: $$configureargs; \
+	  echo; \
 	  if test -f Makefile -a -f config.cache -a -f .configureargs && \
 	     test "`cat .configureargs`" = "$$configureargs"; then :; \
 	  else \
-- 
GitLab