# HG changeset patch
# User wenzelm
# Date 918244657 -3600
# Node ID 6b9194aff620fa63da14098417229ca10d830ae0
# Parent  bd7b4a23118f4beabad1c66d4d7ca0e6335fd4c4
more robust RC;

diff -r bd7b4a23118f -r 6b9194aff620 src/Pure/mk
--- a/src/Pure/mk	Fri Feb 05 20:57:18 1999 +0100
+++ b/src/Pure/mk	Fri Feb 05 20:57:37 1999 +0100
@@ -87,6 +87,7 @@
     -e "val ml_system = \"$ML_SYSTEM\";" \
     -e "(use\"$COMPAT\"; use\"ROOT.ML\") handle _ => exit 1;" \
     -q -w RAW_ML_SYSTEM Pure > $LOG 2>&1
+  RC=$?
 else
   ITEM="RAW"
   echo -n "Building $ITEM ... "
@@ -96,10 +97,9 @@
     -e "val ml_system = \"$ML_SYSTEM\";" \
     -e "use\"$COMPAT\" handle _ => exit 1;;" \
     -q -w RAW_ML_SYSTEM RAW > $LOG 2>&1
+  RC=$?
 fi
 
-RC=$?
-
 ELAPSED=$($ISABELLE_HOME/lib/scripts/showtime $SECONDS)