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.
more robust: always assume x86_64 (or its emulation on ARM);
authorwenzelm
Mon, 25 Mar 2024 20:55:27 +0100
changeset 79994 9b532f064649
parent 79993 2dcbf5cbc7a1
child 79995 e94a36467f4e
more robust: always assume x86_64 (or its emulation on ARM);
lib/scripts/isabelle-platform file | annotate | diff | comparison | revisions 
--- a/lib/scripts/isabelle-platform	Mon Mar 25 20:48:10 2024 +0100
+++ b/lib/scripts/isabelle-platform	Mon Mar 25 20:55:27 2024 +0100
@@ -43,10 +43,6 @@
     ISABELLE_PLATFORM_FAMILY="windows"
     ISABELLE_WINDOWS_PLATFORM32="x86-windows"
     ISABELLE_WINDOWS_PLATFORM64="x86_64-windows"
-    case $(uname -m) in
-      x86_64)
-        ISABELLE_PLATFORM64=x86_64-cygwin
-        ;;
-    esac
+    ISABELLE_PLATFORM64=x86_64-cygwin
     ;;
 esac
isabelle