src/Pure/mk
changeset 2474 9990f088d7ac
parent 2432 527b5f1b7520
child 2768 bc6d915b8019
--- a/src/Pure/mk	Tue Jan 07 09:01:18 1997 +0100
+++ b/src/Pure/mk	Tue Jan 07 09:01:52 1997 +0100
@@ -26,7 +26,7 @@
 [ -f "ML-Systems/$ML_SYSTEM.ML" ] && COMPAT="ML-Systems/$ML_SYSTEM.ML"
 [ -z "$COMPAT" ] && fail "Missing compatibility file for ML system \"$ML_SYSTEM\"!"
 
-$ISABELLE_HOME/bin/isabelle \
+$ISABELLE \
   -e "val ml_system = \"$ML_SYSTEM\";" \
   -e "use\"$COMPAT\"; use\"ROOT.ML\" handle _ => exit 1;" \
   -cq SYSTEM Pure