diff --git a/Makefile b/Makefile
index 38256ea23d7d34dd50363767cdc12cd7790c7800..8a35af23c97688afa86f28422939aaa961cde861 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile,v 1.26 2000/07/03 19:28:24 mast Exp $
+# $Id: Makefile,v 1.27 2000/07/29 06:29:07 hubbe Exp $
 #
 # Meta Makefile
 #
@@ -59,6 +59,7 @@ configure: src/configure builddir
 	    configureargs="$(CONFIGUREARGS)"; \
 	  fi; \
 	  echo; \
+	  MAKE=$(MAKE) ; export MAKE ;\
 	  echo Configure arguments: $$configureargs; \
 	  echo; \
 	  if test -f Makefile -a -f config.cache -a -f .configureargs && \