Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/isabelle-platform
changeset 73091 bf573ed376ef
parent 72999 f6051c13bffa
child 73671 7404f2e1d092 
--- a/lib/scripts/isabelle-platform	Wed Jan 06 16:14:05 2021 +0100
+++ b/lib/scripts/isabelle-platform	Wed Jan 06 16:50:53 2021 +0100
@@ -35,8 +35,8 @@
         ;;
       *)
         ISABELLE_PLATFORM64=x86_64-darwin
-        case $(uname -m) in
-          arm64)
+        case $(uname -a) in
+          *arm64*|*ARM64*)
             ISABELLE_APPLE_PLATFORM64=arm64-darwin
             ;;
           *)
isabelle