diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-10-14 23:19:59 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-10-14 23:48:49 +0200 |
commit | 2510bd87562bfee9d82348f1c08dd78ccea12dd1 (patch) | |
tree | ff3342b7b4cfea0ebebd55ce114d6f9c151f7719 | |
parent | e0caff9ed0c2238eafba63a65f01d96eeaf02fab (diff) | |
download | patches-2510bd87562bfee9d82348f1c08dd78ccea12dd1.tar patches-2510bd87562bfee9d82348f1c08dd78ccea12dd1.tar.gz |
guix-install.sh: Recognize armhf-linux.
* etc/guix-install.sh (chk_sys_arch): Add "armv7l" case.
-rwxr-xr-x | etc/guix-install.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index d9f1955098..ca6874ba0f 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -160,6 +160,9 @@ chk_sys_arch() aarch64) local arch=aarch64 ;; + armv7l) + local arch=armhf + ;; *) _err "${ERR}Unsupported CPU type: ${arch}" exit 1 |