src/Pure/Tools/build.scala
changeset 69744 bb0a354f6b46
parent 69671 2486792eaf61
child 69777 1df241e340c8
     1.1 --- a/src/Pure/Tools/build.scala	Fri Jan 25 22:13:48 2019 +0000
     1.2 +++ b/src/Pure/Tools/build.scala	Sun Jan 27 17:30:09 2019 +0100
     1.3 @@ -233,7 +233,8 @@
     1.4              ("ISABELLE_ML_DEBUGGER" -> options.bool("ML_debugger").toString)
     1.5  
     1.6          def save_heap: String =
     1.7 -          (if (info.theories.isEmpty) "" else "ML_Heap.share_common_data (); ") +
     1.8 +          (if (info.theories.isEmpty) ""
     1.9 +           else """cond_timeit true "share_common_data" ML_Heap.share_common_data; """) +
    1.10              "ML_Heap.save_child " +
    1.11              ML_Syntax.print_string_bytes(File.platform_path(store.output_heap(name)))
    1.12