--- 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
--- 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
--- 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