bin/isabelle
changeset 4355 68c7c544570c
parent 4333 1d326b826851
child 4516 f90b2d459a1b
     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