changeset 35023 | 16f9877abf0b |
parent 35010 | d6e492cea6e4 |
child 36011 | 3ff725ac13a4 |
--- a/src/Pure/System/isabelle_system.scala Sun Feb 07 19:54:12 2010 +0100 +++ b/src/Pure/System/isabelle_system.scala Sun Feb 07 20:21:38 2010 +0100 @@ -170,8 +170,7 @@ Standard_System.write_file(script_file, script) - val proc = execute(true, "perl", "-w", - expand_path("$ISABELLE_HOME/lib/scripts/system.pl"), "group", + val proc = execute(true, expand_path("$ISABELLE_HOME/lib/scripts/bash"), "group", script_file.getPath, pid_file.getPath, output_file.getPath) def kill(strict: Boolean) =