pass return code!!
authorwenzelm
Wed Dec 03 12:55:04 1997 +0100 (1997-12-03)
changeset 435568c7c544570c
parent 4354 7f4da01bdf0e
child 4356 0dfd34f0d33d
pass return code!!
bin/isabelle
     1.1 --- a/bin/isabelle	Wed Dec 03 11:42:45 1997 +0100
     1.2 +++ b/bin/isabelle	Wed Dec 03 12:55:04 1997 +0100
     1.3 @@ -176,7 +176,9 @@
     1.4  else
     1.5    $ISABELLE_HOME/lib/scripts/run-$ML_SYSTEM_BASE
     1.6  fi
     1.7 -
     1.8 +RC=$?
     1.9  
    1.10  #Do not even think of 'rm -r'!!
    1.11  rmdir $ISABELLE_TMP
    1.12 +
    1.13 +exit $RC