diff --git a/docs/content/install.sh b/docs/content/install.sh index 56141f3f1..066fd26f0 100755 --- a/docs/content/install.sh +++ b/docs/content/install.sh @@ -101,12 +101,12 @@ case "$OS_type" in i?86|x86) OS_type='386' ;; + aarch64|arm64) + OS_type='arm64' + ;; arm*) OS_type='arm' ;; - aarch64) - OS_type='arm64' - ;; *) echo 'OS type not supported' exit 2