Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/mk
changeset 28502 6b0e3e4e1891
parent 22011 3d4ea1819cb7
child 30204 8ede2f7104cf 
--- a/src/Pure/mk	Sat Oct 04 16:05:15 2008 +0200
+++ b/src/Pure/mk	Sat Oct 04 16:19:00 2008 +0200
@@ -88,7 +88,7 @@
   echo "Building $ITEM ..."
   LOG="$LOGDIR/$ITEM"
 
-  "$ISABELLE" \
+  "$ISABELLE_PROCESS" \
     -e "val ml_system = \"$ML_SYSTEM\";" \
     -e "val ml_platform = \"$ML_PLATFORM\";" \
     -e "use\"$COMPAT\" handle _ => exit 1;" \
@@ -99,7 +99,7 @@
   echo "Running $ITEM ..."
   LOG="$LOGDIR/$ITEM"
 
-  "$ISABELLE" \
+  "$ISABELLE_PROCESS" \
     -e "use\"$RAW_SESSION\" handle _ => exit 1;" \
     -q RAW > "$LOG" 2>&1
   RC="$?"
@@ -108,7 +108,7 @@
   echo "Building $ITEM ..."
   LOG="$LOGDIR/$ITEM"
 
-  "$ISABELLE" \
+  "$ISABELLE_PROCESS" \
     -e "val ml_system = \"$ML_SYSTEM\";" \
     -e "val ml_platform = \"$ML_PLATFORM\";" \
     -e "(use\"$COMPAT\"; use\"ROOT.ML\") handle _ => exit 1;" \
isabelle