src/Pure/Admin/other_isabelle.scala
changeset 65916 5b8ed310b31d
parent 65845 b8ff63149256
child 65930 9a28fc03c3fe
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Wed May 24 11:17:23 2017 +0200
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Wed May 24 11:39:00 2017 +0200
     1.3 @@ -15,8 +15,7 @@
     1.4    /* static system */
     1.5  
     1.6    def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
     1.7 -    progress.bash(
     1.8 -      "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n" + script,
     1.9 +    progress.bash(Isabelle_System.export_isabelle_identifier(isabelle_identifier) + script,
    1.10        env = null, cwd = isabelle_home.file, redirect = redirect, echo = echo)
    1.11  
    1.12    def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =