src/Pure/mk
changeset 2401 0293bc1cecfc
parent 2340 74a01a9f325d
child 2432 527b5f1b7520
--- a/src/Pure/mk	Mon Dec 16 09:59:18 1996 +0100
+++ b/src/Pure/mk	Mon Dec 16 10:00:08 1996 +0100
@@ -30,4 +30,7 @@
 [ -f "ML-Systems/$ML_SYSTEM.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM.ML"
 [ -z "$COMPAT" ] && fail "Missing compatibility file for ML system \"$ML_SYSTEM\"!"
 
-exec isabelle -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" -cq SYSTEM Pure
+exec isabelle \
+  -e "val ml_system = \"$ML_SYSTEM\";" \
+  -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
+  -cq SYSTEM Pure