1.1 --- a/src/Pure/build	Sat Jul 21 12:42:28 2012 +0200
     1.2 +++ b/src/Pure/build	Sat Jul 21 12:57:31 2012 +0200
     1.3 @@ -81,11 +81,11 @@
     1.4  if [ "$TARGET" = RAW ]; then
     1.5    if [ "$BUILD_IMAGES" = false ]; then
     1.6      "$ISABELLE_PROCESS" \
     1.7 -      -e "use\"$COMPAT\" handle _ => exit 1;" \
     1.8 +      -e "use\"$COMPAT\" handle _ => OS.Process.exit OS.Process.failure;" \
     1.9        -q RAW_ML_SYSTEM
    1.10    else
    1.11      "$ISABELLE_PROCESS" \
    1.12 -      -e "use\"$COMPAT\" handle _ => exit 1;" \
    1.13 +      -e "use\"$COMPAT\" handle _ => OS.Process.exit OS.Process.failure;" \
    1.14        -e "structure Isar = struct fun main () = () end;" \
    1.15        -e "ml_prompts \"ML> \" \"ML# \";" \
    1.16        -q -w RAW_ML_SYSTEM RAW
    1.17 @@ -93,11 +93,11 @@
    1.18  else
    1.19    if [ "$BUILD_IMAGES" = false ]; then
    1.20      "$ISABELLE_PROCESS" \
    1.21 -      -e "(use\"$COMPAT\"; use\"ROOT.ML\") handle _ => exit 1;" \
    1.22 +      -e "(use\"$COMPAT\"; use\"ROOT.ML\") handle _ => OS.Process.exit OS.Process.failure;" \
    1.23        -q RAW_ML_SYSTEM
    1.24    else
    1.25      "$ISABELLE_PROCESS" \
    1.26 -      -e "(use\"$COMPAT\"; use\"ROOT.ML\") handle _ => exit 1;" \
    1.27 +      -e "(use\"$COMPAT\"; use\"ROOT.ML\") handle _ => OS.Process.exit OS.Process.failure;" \
    1.28        -e "ml_prompts \"ML> \" \"ML# \";" \
    1.29        -f -q -w RAW_ML_SYSTEM Pure
    1.30    fi