bin/isatool
changeset 2703 5ce1310560ff
parent 2505 50abca9d4043
child 2735 29434f9b95dd
     1.1 --- a/bin/isatool	Fri Feb 28 16:54:32 1997 +0100
     1.2 +++ b/bin/isatool	Fri Feb 28 16:55:35 1997 +0100
     1.3 @@ -7,14 +7,27 @@
     1.4  
     1.5  ## settings
     1.6  
     1.7 +PRG=$(basename $0)
     1.8 +
     1.9  ISABELLE_HOME=$(dirname $(dirname $0))
    1.10 -. $ISABELLE_HOME/lib/scripts/getsettings || exit 2
    1.11 +case "$ISABELLE_HOME" in
    1.12 +  /*)
    1.13 +    if [ -f $ISABELLE_HOME/lib/scripts/getsettings ]; then
    1.14 +      . $ISABELLE_HOME/lib/scripts/getsettings || exit 2
    1.15 +    else
    1.16 +      echo "ERROR: $PRG probably not called from its original place!"
    1.17 +      exit 1
    1.18 +    fi
    1.19 +    ;;
    1.20 +  *)
    1.21 +    echo "ERROR: $PRG not called with absolute path specification!"
    1.22 +    exit 1
    1.23 +    ;;
    1.24 +esac
    1.25  
    1.26  
    1.27  ## diagnostics
    1.28  
    1.29 -PRG=$(basename $0)
    1.30 -
    1.31  function usage()
    1.32  {
    1.33    echo