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 ;; *)