# HG changeset patch
# User wenzelm
# Date 1684140648 -7200
# Node ID bf4d535bbfccb1bba211e10092ee7ee413e084ce
# Parent  2c3f4d80abfb47b62881a603bd31c2f68637f194
clarified build options: reduce heap size by approx. 3%;

diff -r 2c3f4d80abfb -r bf4d535bbfcc src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Sun May 14 20:54:08 2023 +0200
+++ b/src/Pure/Admin/build_release.scala	Mon May 15 10:50:48 2023 +0200
@@ -242,7 +242,7 @@
           ssh.write_file(remote_tmp_tar, local_tmp_tar)
 
           val build_command =
-            "bin/isabelle build -o system_heaps -b -- " + Bash.strings(build_sessions)
+            "bin/isabelle build -o parallel_proofs=0 -o system_heaps -b -- " + Bash.strings(build_sessions)
           def system_apple(b: Boolean): String =
             """{ echo "ML_system_apple = """ + b + """" > "$(bin/isabelle getenv -b ISABELLE_HOME_USER)/etc/preferences"; }"""