# HG changeset patch
# User wenzelm
# Date 1663234547 -7200
# Node ID 23c513c192acd2db747ce2b6f5c353b4979d4a63
# Parent  361cfb8e36482056ca0be88cad5796f0121c7617
proper order of platforms, to make it work uniformly on all plaform families;

diff -r 361cfb8e3648 -r 23c513c192ac src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Sep 14 23:58:26 2022 +0200
+++ b/src/Pure/Admin/build_release.scala	Thu Sep 15 11:35:47 2022 +0200
@@ -253,7 +253,7 @@
               "cd " + File.bash_path(remote_dir),
               "tar -xf tmp.tar",
               build_command,
-              """perl -pi -e "s/ISABELLE_APPLE_PLATFORM64/ISABELLE_PLATFORM64/g;" "$(bin/isabelle getenv -b POLYML_HOME)/etc/settings" """,
+              """perl -pi -e "s/ISABELLE_APPLE_PLATFORM64/ISABELLE_WINDOWS_PLATFORM64/g;" "$(bin/isabelle getenv -b POLYML_HOME)/etc/settings" """,
               build_command,
               "tar -cf tmp.tar heaps")
           ssh.execute(build_script.mkString(" && "), settings = false).check