# HG changeset patch
# User wenzelm
# Date 1551905070 -3600
# Node ID 6ebe97815275995cfdd487c69e8e8a62bcff4fe4
# Parent  bb16c0bb7520d4a39c291bd5961ff0ab76a91cbc
proper option (amending cc0b3e177b49);

diff -r bb16c0bb7520 -r 6ebe97815275 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Mar 06 19:48:02 2019 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Mar 06 21:44:30 2019 +0100
@@ -329,7 +329,7 @@
 
       try {
         other_isabelle.bash(
-          "./bin/isabelle build_doc -a -s -j " + parallel_jobs, echo = true).check
+          "./bin/isabelle build_doc -a -o system_heaps -j " + parallel_jobs, echo = true).check
       }
       catch { case ERROR(_) => error("Failed to build documentation") }
 
@@ -689,7 +689,7 @@
 
             other_isabelle.bash("bin/isabelle build -j " + parallel_jobs +
               " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
-              " -s -c -a -d '~~/src/Benchmarks'", echo = true).check
+              " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check
             other_isabelle.isabelle_home_user.file.delete
 
             execute(tmp_dir, "chmod -R a+r " + Bash.string(release.dist_name))
diff -r bb16c0bb7520 -r 6ebe97815275 src/Pure/Tools/build_docker.scala
--- a/src/Pure/Tools/build_docker.scala	Wed Mar 06 19:48:02 2019 +0100
+++ b/src/Pure/Tools/build_docker.scala	Wed Mar 06 21:44:30 2019 +0100
@@ -65,7 +65,7 @@
   mv """ + isabelle_name + """ Isabelle && \
   perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
   perl -pi -e 's,ISABELLE_LOGIC=.*,ISABELLE_LOGIC=""" + logic + """,g;' Isabelle/etc/settings && \
-  Isabelle/bin/isabelle build -s -b """ + logic +
+  Isabelle/bin/isabelle build -o system_heaps -b """ + logic +
  (if (entrypoint) """
 
 ENTRYPOINT ["Isabelle/bin/isabelle"]