clarified bash process;
authorwenzelm
Sat Feb 13 20:01:48 2016 +0100 (2016-02-13)
changeset 622954f2fb9adfae5
parent 62294 30e9ff9be90a
child 62296 b04a5ddd6121
clarified bash process;
Admin/components/components.sha1
Admin/components/main
src/Pure/Concurrent/bash.ML
     1.1 --- a/Admin/components/components.sha1	Sat Feb 13 19:52:56 2016 +0100
     1.2 +++ b/Admin/components/components.sha1	Sat Feb 13 20:01:48 2016 +0100
     1.3 @@ -1,3 +1,4 @@
     1.4 +bb9ef498cd594b4289221b96146d529c899da209  bash_process-1.1.tar.gz
     1.5  70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
     1.6  2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
     1.7  a5e02b5e990da4275dc5d4480c3b72fc73160c28  cvc4-1.5pre-1.tar.gz
     2.1 --- a/Admin/components/main	Sat Feb 13 19:52:56 2016 +0100
     2.2 +++ b/Admin/components/main	Sat Feb 13 20:01:48 2016 +0100
     2.3 @@ -1,8 +1,8 @@
     2.4  #main components for everyday use, without big impact on overall build time
     2.5 +bash_process-1.1
     2.6  csdp-6.x
     2.7  cvc4-1.5pre-3
     2.8  e-1.8
     2.9 -exec_process-1.0.3
    2.10  Haskabelle-2015
    2.11  isabelle_fonts-20160102
    2.12  jdk-8u72
     3.1 --- a/src/Pure/Concurrent/bash.ML	Sat Feb 13 19:52:56 2016 +0100
     3.2 +++ b/src/Pure/Concurrent/bash.ML	Sat Feb 13 20:01:48 2016 +0100
     3.3 @@ -40,10 +40,11 @@
     3.4                  File.shell_path script_path ^
     3.5                  " > " ^ File.shell_path out_path ^
     3.6                  " 2> " ^ File.shell_path err_path;
     3.7 -            val _ = getenv_strict "EXEC_PROCESS";
     3.8 +            val _ = getenv_strict "ISABELLE_BASH_PROCESS";
     3.9              val status =
    3.10                OS.Process.system
    3.11 -                ("exec \"$EXEC_PROCESS\" " ^ File.shell_path pid_path ^ " " ^ quote bash_script);
    3.12 +                ("exec \"$ISABELLE_BASH_PROCESS\" " ^ File.shell_path pid_path ^
    3.13 +                  " bash -c " ^ quote bash_script);
    3.14              val res =
    3.15                (case Posix.Process.fromStatus status of
    3.16                  Posix.Process.W_EXITED => Result 0