GPLed;
authorwenzelm
Sun Sep 03 20:00:34 2000 +0200 (2000-09-03)
changeset 98176ad158576972
parent 9816 2cb9752ff002
child 9818 71de955e8fc9
GPLed;
show targets;
build
     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"