diff --git a/ci/before_deploy.bash b/ci/before_deploy.bash
index 59d20a1..c22f2dd 100755
--- a/ci/before_deploy.bash
+++ b/ci/before_deploy.bash
@@ -68,6 +68,10 @@ make_deb() {
         i686*)
             architecture=i386
             ;;
+        arm*hf)
+            architecture=armhf
+            gcc_prefix="arm-linux-gnueabihf-"
+            ;;
         *)
             echo "make_deb: skipping target '${TARGET}'" >&2
             return 0