now fails if getsettings not found;
authorwenzelm
Mon Dec 16 09:53:30 1996 +0100 (1996-12-16)
changeset 2395c24a79fe3651
parent 2394 91d8abf108be
child 2396 721a9e01457b
now fails if getsettings not found;
bin/isabelle
bin/isatool
     1.1 --- a/bin/isabelle	Fri Dec 13 18:45:58 1996 +0100
     1.2 +++ b/bin/isabelle	Mon Dec 16 09:53:30 1996 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  ## settings
     1.5  
     1.6  ISABELLE_HOME=$(dirname $(dirname $0))
     1.7 -. $ISABELLE_HOME/lib/scripts/getsettings
     1.8 +. $ISABELLE_HOME/lib/scripts/getsettings || exit 2
     1.9  . $ISABELLE_HOME/lib/scripts/getplatform
    1.10  
    1.11  
    1.12 @@ -22,7 +22,7 @@
    1.13    echo "Usage: $PRG [OPTIONS] [INPUT] [OUTPUT]"
    1.14    echo
    1.15    echo "  Options are:"
    1.16 -  echo "    -c           force copying of heap file"
    1.17 +  echo "    -c           force copying of heap file (for Poly/ML)"
    1.18    echo "    -e MLTEXT    pass MLTEXT to the ML session"
    1.19    echo "    -q           non-interactive session"
    1.20    echo "    -r           open heap file read-only"
     2.1 --- a/bin/isatool	Fri Dec 13 18:45:58 1996 +0100
     2.2 +++ b/bin/isatool	Mon Dec 16 09:53:30 1996 +0100
     2.3 @@ -8,7 +8,7 @@
     2.4  ## settings
     2.5  
     2.6  ISABELLE_HOME=$(dirname $(dirname $0))
     2.7 -. $ISABELLE_HOME/lib/scripts/getsettings
     2.8 +. $ISABELLE_HOME/lib/scripts/getsettings || exit 2
     2.9  
    2.10  
    2.11  ## diagnostics