Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper order of platforms, to make it work uniformly on all plaform families;
authorwenzelm
Thu, 15 Sep 2022 11:35:47 +0200
changeset 76160 23c513c192ac
parent 76159 361cfb8e3648
child 76161 d556db0b7256
proper order of platforms, to make it work uniformly on all plaform families;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle