changeset 64115 | 68619fa37ca7 |
parent 64082 | d57c7295f601 |
child 64140 | 96d398871124 |
--- a/src/Pure/Tools/build.scala Sat Oct 08 14:09:55 2016 +0200 +++ b/src/Pure/Tools/build.scala Sat Oct 08 21:31:56 2016 +0200 @@ -750,7 +750,7 @@ val sessions = getopts(args) - val progress = new Console_Progress(verbose) + val progress = new Console_Progress(verbose = verbose) if (verbose) { progress.echo(