Change "makegen/makeinit.sh" to leave the directory configured. This
authorChris Hanson <org/chris-hanson/cph>
Wed, 6 Dec 2000 05:24:17 +0000 (05:24 +0000)
committerChris Hanson <org/chris-hanson/cph>
Wed, 6 Dec 2000 05:24:17 +0000 (05:24 +0000)
allows "Setup.sh" to use "make setup", thus avoiding replication of
information.

v7/src/microcode/Setup.sh
v7/src/microcode/makegen/makeinit.sh

index d147ce05d545dca7f2a66dd33bc52051f0489e82..29f421b4bd5d240fd4b6b3180a2ab7cc768e29b0 100755 (executable)
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# $Id: Setup.sh,v 1.1 2000/12/06 02:41:42 cph Exp $
+# $Id: Setup.sh,v 1.2 2000/12/06 05:24:12 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -22,4 +22,5 @@
 # Requires `gcc' and `scheme'.
 
 makegen/makeinit.sh
-( cd cmpauxmd && make )
+make setup
+make distclean
index f44bb7e35aa6fc3ce3e0085547e86eec9dd2e07b..38711c904279ed9d42617c3a5095db7944162e8e 100755 (executable)
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# $Id: makeinit.sh,v 1.5 2000/12/06 02:48:42 cph Exp $
+# $Id: makeinit.sh,v 1.6 2000/12/06 05:24:17 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -41,6 +41,6 @@ scheme -heap 2000 <<EOF
                   "Makefile.in")
 EOF
 
-# Generate "Makefile", then use distclean rule to clean up.
+# Generate "Makefile".
+# We assume that caller will run "make distclean".
 ./config.status
-make distclean