diff --git a/docs/content/install.sh b/docs/content/install.sh index 48688bca7..2a9760145 100755 --- a/docs/content/install.sh +++ b/docs/content/install.sh @@ -104,6 +104,9 @@ case $OS_type in arm*) OS_type='arm' ;; + aarch64) + OS_type='arm64' + ;; *) echo 'OS type not supported' exit 2