diff --git a/ci/before_deploy.bash b/ci/before_deploy.bash
index 913fce44..16cb261c 100755
--- a/ci/before_deploy.bash
+++ b/ci/before_deploy.bash
@@ -66,6 +66,10 @@ make_deb() {
             architecture=arm64
             gcc_prefix="aarch64-linux-gnu-"
             ;;
+        arm*hf) 
+            architecture=armhf  
+            gcc_prefix="arm-linux-gnueabihf-"   
+            ;;
         *)
             echo "make_deb: skipping target '${TARGET}'" >&2
             return 0