--- a/build Sun Sep 03 14:41:56 2000 +0200
+++ b/build Sun Sep 03 20:00:34 2000 +0200
@@ -1,6 +1,8 @@
#!/bin/bash
#
# $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
#
# build - compile the Isabelle system and object-logics
@@ -121,7 +123,7 @@
if [ -z "$BATCH" ]; then
echo
echo
- echo "Press RETURN to start compilation (including parents) of:"
+ echo "Press RETURN to compilation of"
echo
fi
@@ -141,11 +143,13 @@
if [ -z "$BATCH" ]; then
echo " $MAKE_LOGICS"
+ [ -n "$TARGETS" ] && echo " (targets:$TARGETS)"
echo
read
else
echo
echo "Isabelle build: $MAKE_LOGICS"
+ [ -n "$TARGETS" ] && echo "(targets:$TARGETS)"
echo
echo "ML_SYSTEM=$ML_SYSTEM"
echo "ML_HOME=$ML_HOME"