src/Pure/Admin/other_isabelle.scala
changeset 64304 96bc94c87a81
parent 64201 c3edc64e219d
child 64315 e48e2532ac17
     1.1 --- a/src/Pure/Admin/other_isabelle.scala	Tue Oct 18 15:31:08 2016 +0200
     1.2 +++ b/src/Pure/Admin/other_isabelle.scala	Tue Oct 18 16:03:30 2016 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4  
     1.5    def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
     1.6      progress.bash(
     1.7 -      "export ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) + "\n" + script,
     1.8 +      "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n" + script,
     1.9        env = null, cwd = isabelle_home.file, redirect = redirect)
    1.10  
    1.11    def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =