diff -r 3f02bc5a5a03 -r c1bc38327bc2 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Mon Mar 30 19:39:11 2020 +0200
+++ b/src/Pure/Tools/build.scala	Mon Mar 30 19:50:01 2020 +0200
@@ -276,7 +276,7 @@
           File.write(args_file, args_yxml)
 
           val eval_build = "Build.build " + ML_Syntax.print_string_bytes(File.standard_path(args_file))
-          val eval = Command_Line.ML_tool0(eval_build :: eval_store)
+          val eval = Command_Line.ML_tool(eval_build :: eval_store)
 
           val process =
             if (is_pure) {