src/Pure/Admin/build_release.scala
changeset 70103 a6236d5a89ae
parent 70102 e48ffba6b557
child 70206 c7fa2b7d2c8a
equal deleted inserted replaced
70102:e48ffba6b557 70103:a6236d5a89ae
   495 
   495 
   496 
   496 
   497         // build heaps
   497         // build heaps
   498 
   498 
   499         if (build_sessions.nonEmpty) {
   499         if (build_sessions.nonEmpty) {
   500           progress.echo("Building " + commas(build_sessions) + " ...")
   500           progress.echo("Building heaps ...")
   501           remote_build_heaps(options, platform, build_sessions, isabelle_target)
   501           remote_build_heaps(options, platform, build_sessions, isabelle_target)
   502         }
   502         }
   503 
   503 
   504 
   504 
   505         // application bundling
   505         // application bundling