src/Tools/Code/code_ml.ML
changeset 51091 c007c6bf4a35
parent 50625 e3d25e751d05
child 51143 0a2371e7ced3
     1.1 --- a/src/Tools/Code/code_ml.ML	Wed Feb 13 13:38:52 2013 +0100
     1.2 +++ b/src/Tools/Code/code_ml.ML	Wed Feb 13 13:38:52 2013 +0100
     1.3 @@ -833,7 +833,7 @@
     1.4        check = { env_var = "ISABELLE_PROCESS",
     1.5          make_destination = fn p => Path.append p (Path.explode "ROOT.ML"),
     1.6          make_command = fn _ =>
     1.7 -          "\"$ISABELLE_PROCESS\" -r -q -e 'datatype ref = datatype Unsynchronized.ref; use \"ROOT.ML\" handle _ => exit 0' Pure" } })
     1.8 +          "\"$ISABELLE_PROCESS\" -r -q -e 'datatype ref = datatype Unsynchronized.ref; use \"ROOT.ML\" handle _ => exit 1' Pure" } })
     1.9    #> Code_Target.add_target
    1.10      (target_OCaml, { serializer = serializer_ocaml, literals = literals_ocaml,
    1.11        check = { env_var = "ISABELLE_OCAML",