Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/other_isabelle.scala
changeset 64304 96bc94c87a81
parent 64201 c3edc64e219d
child 64315 e48e2532ac17 
--- a/src/Pure/Admin/other_isabelle.scala	Tue Oct 18 15:31:08 2016 +0200
+++ b/src/Pure/Admin/other_isabelle.scala	Tue Oct 18 16:03:30 2016 +0200
@@ -16,7 +16,7 @@
 
   def bash(script: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
     progress.bash(
-      "export ISABELLE_IDENTIFIER=" + File.bash_string(isabelle_identifier) + "\n" + script,
+      "export ISABELLE_IDENTIFIER=" + Bash.string(isabelle_identifier) + "\n" + script,
       env = null, cwd = isabelle_home.file, redirect = redirect)
 
   def apply(cmdline: String, redirect: Boolean = false, echo: Boolean = false): Process_Result =
isabelle