Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ML-Systems/bash.ML
changeset 39583 c1e9c6dfeff8
parent 39576 48baf61cb888 
--- a/src/Pure/ML-Systems/bash.ML	Wed Sep 22 00:17:35 2010 +0200
+++ b/src/Pure/ML-Systems/bash.ML	Wed Sep 22 00:45:42 2010 +0200
@@ -25,8 +25,8 @@
     val output_name = OS.FileSys.tmpName ();
 
     val status =
-      OS.Process.system ("exec \"$ISABELLE_HOME/lib/scripts/process\" nogroup /dev/null" ^
-        " \"exec bash " ^ script_name ^ " > " ^ output_name ^ "\"");
+      OS.Process.system ("exec \"$ISABELLE_HOME/lib/scripts/process\" no_group /dev/null" ^
+        " script \"exec bash " ^ script_name ^ " > " ^ output_name ^ "\"");
     val rc =
       (case Posix.Process.fromStatus status of
         Posix.Process.W_EXITED => 0
isabelle