1.1 --- a/src/Pure/System/build.scala Tue Jul 24 12:20:01 2012 +0200
1.2 +++ b/src/Pure/System/build.scala Tue Jul 24 12:28:20 2012 +0200
1.3 @@ -403,7 +403,7 @@
1.4 private def sleep(): Unit = Thread.sleep(500)
1.5
1.6 def build(all_sessions: Boolean, build_images: Boolean, max_jobs: Int,
1.7 - list_only: Boolean, system_mode: Boolean, timing: Boolean, verbose: Boolean,
1.8 + no_build: Boolean, system_mode: Boolean, timing: Boolean, verbose: Boolean,
1.9 more_dirs: List[Path], more_options: List[String], sessions: List[String]): Int =
1.10 {
1.11 val options = (Options.init() /: more_options)(_.define_simple(_))
1.12 @@ -451,7 +451,7 @@
1.13 else if (running.size < (max_jobs max 1)) {
1.14 pending.dequeue(running.isDefinedAt(_)) match {
1.15 case Some((name, info)) =>
1.16 - if (list_only) {
1.17 + if (no_build && verbose) {
1.18 echo(name + " in " + info.dir)
1.19 loop(pending - name, running, results + (name -> 0))
1.20 }
1.21 @@ -488,12 +488,12 @@
1.22 Properties.Value.Boolean(all_sessions) ::
1.23 Properties.Value.Boolean(build_images) ::
1.24 Properties.Value.Int(max_jobs) ::
1.25 - Properties.Value.Boolean(list_only) ::
1.26 + Properties.Value.Boolean(no_build) ::
1.27 Properties.Value.Boolean(system_mode) ::
1.28 Properties.Value.Boolean(timing) ::
1.29 Properties.Value.Boolean(verbose) ::
1.30 Command_Line.Chunks(more_dirs, options, sessions) =>
1.31 - build(all_sessions, build_images, max_jobs, list_only, system_mode, timing,
1.32 + build(all_sessions, build_images, max_jobs, no_build, system_mode, timing,
1.33 verbose, more_dirs.map(Path.explode), options, sessions)
1.34 case _ => error("Bad arguments:\n" + cat_lines(args))
1.35 }