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/bash.scala
changeset 62610 4c89504c76fb
parent 62604 7f325faed9f7
child 63805 c272680df665 
--- a/src/Pure/System/bash.scala	Sun Mar 13 11:48:38 2016 +0100
+++ b/src/Pure/System/bash.scala	Sun Mar 13 12:37:01 2016 +0100
@@ -28,7 +28,7 @@
 
   def process(script: String,
       cwd: JFile = null,
-      env: Map[String, String] = Map.empty,
+      env: Map[String, String] = Isabelle_System.settings(),
       redirect: Boolean = false,
       cleanup: () => Unit = () => ()): Process =
     new Process(script, cwd, env, redirect, cleanup)
@@ -48,9 +48,10 @@
     File.write(script_file, script)
 
     private val proc =
-      Isabelle_System.process(cwd, Isabelle_System.settings(env), redirect,
-        File.platform_path(Path.variable("ISABELLE_BASH_PROCESS")), "-",
-          File.standard_path(timing_file), "bash", File.standard_path(script_file))
+      Isabelle_System.process(
+        List(File.platform_path(Path.variable("ISABELLE_BASH_PROCESS")), "-",
+          File.standard_path(timing_file), "bash", File.standard_path(script_file)),
+        cwd = cwd, env = env, redirect = redirect)
 
 
     // channels
isabelle