Use autoconf for top-level Makefile.

diff --git a/v7/src/Makefile.in b/v7/src/Makefile.in
index 338d68641656781aa192f371fbfbb7b6733a15b7..63a66baea5e51c533c13e2ea84936447d3e989b2 100644 (file)
--- a/v7/src/Makefile.in
+++ b/v7/src/Makefile.in
@@ -1,4 +1,4 @@
-# $Id: Makefile.in,v 1.6 2000/12/08 19:16:58 cph Exp $
+# $Id: Makefile.in,v 1.7 2000/12/08 19:17:37 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -72,7 +72,7 @@ all: compile
        $(srcdir)/etc/build-bands.sh
 
 compile:
-       ( cd microcode && $(MAKE) $@ )
+       ( cd microcode && $(MAKE) all )
        scheme -compiler -heap 4000 < $(srcdir)/etc/compile.scm
 
 mostlyclean clean distclean maintainer-clean: