src/Pure/Concurrent/bash.ML

--- a/src/Pure/Concurrent/bash.ML	Wed Mar 09 14:24:16 2016 +0100
+++ b/src/Pure/Concurrent/bash.ML	Wed Mar 09 14:54:51 2016 +0100
@@ -38,7 +38,7 @@
             val _ = getenv_strict "ISABELLE_BASH_PROCESS";
             val status =
               OS.Process.system
-                ("exec \"$ISABELLE_BASH_PROCESS\" " ^ File.bash_path pid_path ^
+                ("exec \"$ISABELLE_BASH_PROCESS\" " ^ File.bash_path pid_path ^ " \"\"" ^
                   " bash " ^ File.bash_path script_path ^
                   " > " ^ File.bash_path out_path ^
                   " 2> " ^ File.bash_path err_path);