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/multithreading_polyml.ML
changeset 35023 16f9877abf0b
parent 35010 d6e492cea6e4
child 39232 69c6d3e87660 
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Sun Feb 07 19:54:12 2010 +0100
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Sun Feb 07 20:21:38 2010 +0100
@@ -180,7 +180,7 @@
     val system_thread = Thread.fork (fn () =>
       let
         val status =
-          OS.Process.system ("perl -w \"$ISABELLE_HOME/lib/scripts/system.pl\" group " ^
+          OS.Process.system ("exec \"$ISABELLE_HOME/lib/scripts/bash\" group " ^
             script_name ^ " " ^ pid_name ^ " " ^ output_name);
         val res =
           (case Posix.Process.fromStatus status of
isabelle