Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pass -c option;
authorwenzelm
Wed, 08 Mar 2000 17:41:40 +0100
changeset 8361 ac19e5abbfb1
parent 8360 885a6414b9c8
child 8362 f1dd226f5956
pass -c option;
src/Pure/mk file | annotate | diff | comparison | revisions 
--- a/src/Pure/mk	Wed Mar 08 17:40:24 2000 +0100
+++ b/src/Pure/mk	Wed Mar 08 17:41:40 2000 +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 2>&1
+    -c -q -w RAW_ML_SYSTEM Pure > $LOG 2>&1
   RC=$?
 else
   ITEM="RAW"
isabelle