--- a/src/Pure/Admin/build_release.scala Sun Oct 09 16:28:28 2022 +0200
+++ b/src/Pure/Admin/build_release.scala Wed Oct 12 11:15:36 2022 +0200
@@ -249,7 +249,8 @@
"cd " + File.bash_path(remote_dir),
"tar -xf tmp.tar",
build_command,
- """perl -pi -e "s/ISABELLE_APPLE_PLATFORM64/ISABELLE_WINDOWS_PLATFORM64/g;" "$(bin/isabelle getenv -b POLYML_HOME)/etc/settings" """,
+ """mkdir -p "$(bin/isabelle getenv -b ISABELLE_HOME_USER)/etc" """,
+ """{ echo "ML_system_apple = false" > "$(bin/isabelle getenv -b ISABELLE_HOME_USER)/etc/preferences"; }""",
build_command,
"tar -cf tmp.tar heaps")
ssh.execute(build_script.mkString(" && "), settings = false).check