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/System/isabelle_system.scala
changeset 62296 b04a5ddd6121
parent 62291 98df25a6e2ac
child 62298 d4e99aa28abc 
--- a/src/Pure/System/isabelle_system.scala	Sat Feb 13 20:01:48 2016 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sat Feb 13 20:41:56 2016 +0100
@@ -324,7 +324,7 @@
   {
     with_tmp_file("isabelle_script") { script_file =>
       File.write(script_file, script)
-      val proc = Bash.process(cwd, env, false, "bash", File.standard_path(script_file))
+      val proc = Bash.process(cwd, env, false, File.standard_path(script_file))
       proc.stdin.close
 
       val limited = new Limited_Progress(proc, progress_limit)
isabelle