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