# HG changeset patch
# User wenzelm
# Date 1455390108 -3600
# Node ID 4f2fb9adfae5a9bed65103f4b75be49eee4bcae3
# Parent  30e9ff9be90a446fe14099b901226713b7d9fbcb
clarified bash process;

diff -r 30e9ff9be90a -r 4f2fb9adfae5 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Feb 13 19:52:56 2016 +0100
+++ b/Admin/components/components.sha1	Sat Feb 13 20:01:48 2016 +0100
@@ -1,3 +1,4 @@
+bb9ef498cd594b4289221b96146d529c899da209  bash_process-1.1.tar.gz
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
 a5e02b5e990da4275dc5d4480c3b72fc73160c28  cvc4-1.5pre-1.tar.gz
diff -r 30e9ff9be90a -r 4f2fb9adfae5 Admin/components/main
--- a/Admin/components/main	Sat Feb 13 19:52:56 2016 +0100
+++ b/Admin/components/main	Sat Feb 13 20:01:48 2016 +0100
@@ -1,8 +1,8 @@
 #main components for everyday use, without big impact on overall build time
+bash_process-1.1
 csdp-6.x
 cvc4-1.5pre-3
 e-1.8
-exec_process-1.0.3
 Haskabelle-2015
 isabelle_fonts-20160102
 jdk-8u72
diff -r 30e9ff9be90a -r 4f2fb9adfae5 src/Pure/Concurrent/bash.ML
--- a/src/Pure/Concurrent/bash.ML	Sat Feb 13 19:52:56 2016 +0100
+++ b/src/Pure/Concurrent/bash.ML	Sat Feb 13 20:01:48 2016 +0100
@@ -40,10 +40,11 @@
                 File.shell_path script_path ^
                 " > " ^ File.shell_path out_path ^
                 " 2> " ^ File.shell_path err_path;
-            val _ = getenv_strict "EXEC_PROCESS";
+            val _ = getenv_strict "ISABELLE_BASH_PROCESS";
             val status =
               OS.Process.system
-                ("exec \"$EXEC_PROCESS\" " ^ File.shell_path pid_path ^ " " ^ quote bash_script);
+                ("exec \"$ISABELLE_BASH_PROCESS\" " ^ File.shell_path pid_path ^
+                  " bash -c " ^ quote bash_script);
             val res =
               (case Posix.Process.fromStatus status of
                 Posix.Process.W_EXITED => Result 0