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