Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper build_heap;
authorwenzelm
Fri, 29 Jun 2018 11:36:31 +0200
changeset 68537 0299c1dccc96
parent 68536 e14848001c4c
child 68538 0903c4c8b455
proper build_heap;
src/Pure/Tools/dump.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/dump.scala	Thu Jun 28 21:05:56 2018 +0200
+++ b/src/Pure/Tools/dump.scala	Fri Jun 29 11:36:31 2018 +0200
@@ -93,8 +93,8 @@
     system_mode: Boolean = false,
     selection: Sessions.Selection = Sessions.Selection.empty): Process_Result =
   {
-    if (Build.build_logic(options, logic, progress = progress, dirs = dirs,
-      system_mode = system_mode) != 0) error(logic + " FAILED")
+    if (Build.build_logic(options, logic, build_heap = true, progress = progress,
+      dirs = dirs, system_mode = system_mode) != 0) error(logic + " FAILED")
 
     val dump_options = make_options(options, aspects)
isabelle