# HG changeset patch
# User wenzelm
# Date 1456760286 -3600
# Node ID af131b9af420db5232a9f97f19559ad230106be1
# Parent  b883960a4c035b5bbf62e50b3abb9352ab0c95e8
more careful cleanup;

diff -r b883960a4c03 -r af131b9af420 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Mon Feb 29 16:31:50 2016 +0100
+++ b/src/Pure/Tools/build.scala	Mon Feb 29 16:38:06 2016 +0100
@@ -582,11 +582,13 @@
         """ +
           (if (do_output)
             """
+            rm -f "$OUTPUT"
             "$ISABELLE_PROCESS" -e "Build.build \"$ARGS_FILE\";" -r -q "$INPUT" && chmod -w "$OUTPUT"
             """
           else
             """
-            rm -f "$OUTPUT"; "$ISABELLE_PROCESS" -e "Build.build \"$ARGS_FILE\";" -r -q "$INPUT"
+            rm -f "$OUTPUT"
+            "$ISABELLE_PROCESS" -e "Build.build \"$ARGS_FILE\";" -r -q "$INPUT"
             """) +
         """
         RC="$?"