1.1 --- a/build Sun Sep 03 14:41:56 2000 +0200
1.2 +++ b/build Sun Sep 03 20:00:34 2000 +0200
1.3 @@ -1,6 +1,8 @@
1.4 #!/bin/bash
1.5 #
1.6 # $Id$
1.7 +# Author: Markus Wenzel, TU Muenchen
1.8 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
1.9 #
1.10 # build - compile the Isabelle system and object-logics
1.11
1.12 @@ -121,7 +123,7 @@
1.13 if [ -z "$BATCH" ]; then
1.14 echo
1.15 echo
1.16 - echo "Press RETURN to start compilation (including parents) of:"
1.17 + echo "Press RETURN to compilation of"
1.18 echo
1.19 fi
1.20
1.21 @@ -141,11 +143,13 @@
1.22
1.23 if [ -z "$BATCH" ]; then
1.24 echo " $MAKE_LOGICS"
1.25 + [ -n "$TARGETS" ] && echo " (targets:$TARGETS)"
1.26 echo
1.27 read
1.28 else
1.29 echo
1.30 echo "Isabelle build: $MAKE_LOGICS"
1.31 + [ -n "$TARGETS" ] && echo "(targets:$TARGETS)"
1.32 echo
1.33 echo "ML_SYSTEM=$ML_SYSTEM"
1.34 echo "ML_HOME=$ML_HOME"