From 08ddddd8e453de2a45caaa7e6bcbf6e0770ad9db Mon Sep 17 00:00:00 2001 From: Paul M Furley Date: Mon, 8 Sep 2014 20:34:30 +0100 Subject: [PATCH] Enable buildinstaller.sh on Raspberry Pi So that you can build a redistributable install for Pi, with nice things like init scripts etc. --- buildinstaller.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/buildinstaller.sh b/buildinstaller.sh index 94b67db18..222e2f1ad 100755 --- a/buildinstaller.sh +++ b/buildinstaller.sh @@ -38,6 +38,9 @@ case "$system" in x86_64|amd64|x64) machine="x64" ;; + armv6l) + machine="arm" + ;; *) echo "Unsupported machine type: $machine" exit 2