--- a/src/Pure/Tools/build.scala Mon Feb 29 16:38:06 2016 +0100
+++ b/src/Pure/Tools/build.scala Mon Feb 29 20:35:06 2016 +0100
@@ -583,12 +583,12 @@
(if (do_output)
"""
rm -f "$OUTPUT"
- "$ISABELLE_PROCESS" -e "Build.build \"$ARGS_FILE\";" -r -q "$INPUT" && chmod -w "$OUTPUT"
+ "$ISABELLE_PROCESS" -e "Build.build \"$ARGS_FILE\";" -q "$INPUT" && chmod -w "$OUTPUT"
"""
else
"""
rm -f "$OUTPUT"
- "$ISABELLE_PROCESS" -e "Build.build \"$ARGS_FILE\";" -r -q "$INPUT"
+ "$ISABELLE_PROCESS" -e "Build.build \"$ARGS_FILE\";" -q "$INPUT"
""") +
"""
RC="$?"