src/Pure/Tools/build.ML

--- a/src/Pure/Tools/build.ML	Thu Sep 08 10:35:08 2016 +0200
+++ b/src/Pure/Tools/build.ML	Thu Sep 08 18:18:57 2016 +0200
@@ -106,7 +106,8 @@
     val conds = filter_out (can getenv_strict) condition;
   in
     if null conds then
-      (Options.set_default options;
+      (if Options.bool options "checkpoint" then ML_Heap.share_common_data () else ();
+        Options.set_default options;
         Isabelle_Process.init_options ();
         (Thy_Info.use_theories {
           document = Present.document_enabled (Options.string options "document"),