src/Pure/Tools/build_console.scala
changeset 60518 a79f89a36dff
parent 57581 74bbe9317aa4
child 61276 8a4bd05c1735
     1.1 --- a/src/Pure/Tools/build_console.scala	Thu Jun 18 16:17:51 2015 +0200
     1.2 +++ b/src/Pure/Tools/build_console.scala	Fri Jun 19 15:02:24 2015 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4    {
     1.5      if (no_build ||
     1.6          Build.build(options = options, build_heap = true, no_build = true,
     1.7 -          dirs = dirs, sessions = List(session)) == 0) 0
     1.8 +          dirs = dirs, system_mode = system_mode, sessions = List(session)) == 0) 0
     1.9      else {
    1.10        progress.echo("Build started for Isabelle/" + session + " ...")
    1.11        Build.build(options = options, progress = progress, build_heap = true,