--- a/src/Pure/mk Sun Dec 28 15:05:10 1997 +0100
+++ b/src/Pure/mk Sun Dec 28 15:11:54 1997 +0100
@@ -86,7 +86,7 @@
$ISABELLE \
-e "val ml_system = \"$ML_SYSTEM\";" \
-e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
- -q -w RAW_ML_SYSTEM Pure > $LOG
+ -q -w RAW_ML_SYSTEM Pure > $LOG 2>&1
else
ITEM="RAW"
echo -n "Building $ITEM ... "
@@ -95,7 +95,7 @@
$ISABELLE \
-e "val ml_system = \"$ML_SYSTEM\";" \
-e "use\"$COMPAT\";" \
- -q -w RAW_ML_SYSTEM RAW > $LOG
+ -q -w RAW_ML_SYSTEM RAW > $LOG 2>&1
fi
RC=$?