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