--- a/src/Pure/Tools/build.scala Mon Jan 16 21:33:09 2017 +0100
+++ b/src/Pure/Tools/build.scala Mon Jan 16 21:53:44 2017 +0100
@@ -103,7 +103,7 @@
}
def dependencies(
- progress: Progress = Ignore_Progress,
+ progress: Progress = No_Progress,
inlined_files: Boolean = false,
verbose: Boolean = false,
list_files: Boolean = false,
@@ -387,7 +387,7 @@
def build(
options: Options,
- progress: Progress = Ignore_Progress,
+ progress: Progress = No_Progress,
build_heap: Boolean = false,
clean_build: Boolean = false,
dirs: List[Path] = Nil,
@@ -427,7 +427,7 @@
def build_selection(
options: Options,
- progress: Progress = Ignore_Progress,
+ progress: Progress = No_Progress,
build_heap: Boolean = false,
clean_build: Boolean = false,
dirs: List[Path] = Nil,