# HG changeset patch
# User wenzelm
# Date 1637940358 -3600
# Node ID c5ce1e2f26ab0c52ec06177eb325397848d81b34
# Parent  a763f94c2c32d2d88b2af3025dc9f1cd14dc6acd
more robust build on midrange hardware (despite 67d6f1708ea4);

diff -r a763f94c2c32 -r c5ce1e2f26ab src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri Nov 26 13:45:28 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Fri Nov 26 16:25:58 2021 +0100
@@ -823,9 +823,6 @@
 
             val other_isabelle = context.other_isabelle(tmp_dir)
 
-            Isabelle_System.make_directory(other_isabelle.etc)
-            File.write(other_isabelle.etc_preferences, "ML_system_64 = true\n")
-
             other_isabelle.bash("bin/isabelle build -f -j " + parallel_jobs +
               " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
               " -o system_heaps -c -a -d '~~/src/Benchmarks'", echo = true).check