# HG changeset patch
# User wenzelm
# Date 1475658341 -7200
# Node ID 1013cf0432740647fa78a9f6f5956e30e3294d07
# Parent  5a6a7401c48b983bc42bdf2cd8a0e470938d0275
allow multiline script;

diff -r 5a6a7401c48b -r 1013cf043274 src/Pure/Tools/build_history.scala
--- a/src/Pure/Tools/build_history.scala	Wed Oct 05 10:43:52 2016 +0200
+++ b/src/Pure/Tools/build_history.scala	Wed Oct 05 11:05:41 2016 +0200
@@ -69,8 +69,9 @@
     /* invoke isabelle tools */
 
     def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
-      Isabelle_System.bash("env ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) +
-        " " + script, cwd = hg.root.file, env = null, redirect = redirect,
+      Isabelle_System.bash(
+        "export ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) + "\n" + script,
+        env = null, cwd = hg.root.file, redirect = redirect,
         progress_stdout = output_if(echo, _), progress_stderr = output_if(echo, _))
 
     def isabelle(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =