diff --git a/docs/content/install.sh b/docs/content/install.sh index 336dadce1..0adb74400 100755 --- a/docs/content/install.sh +++ b/docs/content/install.sh @@ -109,6 +109,9 @@ case "$OS_type" in armv7*) OS_type='arm-v7' ;; + armv6*) + OS_type='arm-v6' + ;; arm*) OS_type='arm' ;;