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.
more portable process exit;
authorwenzelm
Sat, 17 Nov 2012 20:47:56 +0100
changeset 50113 6c857312c9f5
parent 50112 11cd86c5af3a
child 50114 d203e98ef5c9
more portable process exit;
src/Tools/Code/code_ml.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/code_ml.ML	Sat Nov 17 20:38:57 2012 +0100
+++ b/src/Tools/Code/code_ml.ML	Sat Nov 17 20:47:56 2012 +0100
@@ -833,7 +833,7 @@
       check = { env_var = "ISABELLE_PROCESS",
         make_destination = fn p => Path.append p (Path.explode "ROOT.ML"),
         make_command = fn _ =>
-          "\"$ISABELLE_PROCESS\" -r -q -e 'datatype ref = datatype Unsynchronized.ref; use \"ROOT.ML\" handle _ => Posix.Process.exit 0w1' Pure" } })
+          "\"$ISABELLE_PROCESS\" -r -q -e 'datatype ref = datatype Unsynchronized.ref; use \"ROOT.ML\" handle _ => exit 0' Pure" } })
   #> Code_Target.add_target
     (target_OCaml, { serializer = serializer_ocaml, literals = literals_ocaml,
       check = { env_var = "ISABELLE_OCAML",
isabelle