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/Concurrent/bash.scala
changeset 62296 b04a5ddd6121
parent 61025 636b578bfadd
child 62302 236e1ea5a197 
--- a/src/Pure/Concurrent/bash.scala	Sat Feb 13 20:01:48 2016 +0100
+++ b/src/Pure/Concurrent/bash.scala	Sat Feb 13 20:41:56 2016 +0100
@@ -40,8 +40,9 @@
     extends Prover.System_Process
   {
     private val params =
-      List(File.standard_path(Path.explode("~~/lib/scripts/process")), "group", "-", "no_script")
-    private val proc = Isabelle_System.execute_env(cwd, env, redirect, (params ::: args.toList):_*)
+      List(Isabelle_System.getenv_strict("ISABELLE_BASH_PROCESS"), "-", "bash")
+    private val proc =
+      Isabelle_System.execute_env(cwd, env, redirect, (params ::: args.toList):_*)
 
 
     // channels
isabelle