src/Pure/Tools/build.scala
changeset 64909 8007f10195af
parent 64856 5e9bf964510a
child 65210 8cfdf420b643
     1.1 --- a/src/Pure/Tools/build.scala	Mon Jan 16 21:33:09 2017 +0100
     1.2 +++ b/src/Pure/Tools/build.scala	Mon Jan 16 21:53:44 2017 +0100
     1.3 @@ -103,7 +103,7 @@
     1.4    }
     1.5  
     1.6    def dependencies(
     1.7 -      progress: Progress = Ignore_Progress,
     1.8 +      progress: Progress = No_Progress,
     1.9        inlined_files: Boolean = false,
    1.10        verbose: Boolean = false,
    1.11        list_files: Boolean = false,
    1.12 @@ -387,7 +387,7 @@
    1.13  
    1.14    def build(
    1.15      options: Options,
    1.16 -    progress: Progress = Ignore_Progress,
    1.17 +    progress: Progress = No_Progress,
    1.18      build_heap: Boolean = false,
    1.19      clean_build: Boolean = false,
    1.20      dirs: List[Path] = Nil,
    1.21 @@ -427,7 +427,7 @@
    1.22  
    1.23    def build_selection(
    1.24      options: Options,
    1.25 -    progress: Progress = Ignore_Progress,
    1.26 +    progress: Progress = No_Progress,
    1.27      build_heap: Boolean = false,
    1.28      clean_build: Boolean = false,
    1.29      dirs: List[Path] = Nil,