install.sh: fix arm-v7 download

2022-10-21 09:54:16 +02:00 · 2022-10-21 09:54:16 +02:00 · dff223f195
parent d2fef05fe4
commit dff223f195
1 changed files with 3 additions and 0 deletions
--- a/docs/content/install.sh
+++ b/docs/content/install.sh
@ -106,6 +106,9 @@ case "$OS_type" in
  aarch64|arm64)
    OS_type='arm64'
    ;;
+  armv7*)
+    OS_type='arm-v7'
+    ;;
  arm*)
    OS_type='arm'
    ;;