src/Pure/Tools/build.scala
changeset 56428 1acf2d76ac23
parent 56393 22f533e6a049
child 56464 555f4be59be6
     1.1 --- a/src/Pure/Tools/build.scala	Sat Apr 05 20:08:00 2014 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Sat Apr 05 22:37:17 2014 +0200
     1.3 @@ -508,7 +508,7 @@
     1.4  
     1.5      private val parent = info.parent.getOrElse("")
     1.6  
     1.7 -    private val args_file = File.tmp_file("args")
     1.8 +    private val args_file = Isabelle_System.tmp_file("args")
     1.9      File.write(args_file, YXML.string_of_body(
    1.10        if (is_pure(name)) Options.encode(info.options)
    1.11        else