--- a/src/Pure/Admin/other_isabelle.scala Wed May 24 11:17:23 2017 +0200
+++ b/src/Pure/Admin/other_isabelle.scala Wed May 24 11:39:00 2017 +0200
@@ -15,8 +15,7 @@
/* static system */
def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
- progress.bash(
- "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n" + script,
+ progress.bash(Isabelle_System.export_isabelle_identifier(isabelle_identifier) + script,
env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo)
def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =