diff -r 2cb9752ff002 -r 6ad158576972 build
--- 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"