allows "Setup.sh" to use "make setup", thus avoiding replication of
information.
#!/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
#
# Requires `gcc' and `scheme'.
makegen/makeinit.sh
-( cd cmpauxmd && make )
+make setup
+make distclean
#!/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
#
"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