From f0d936763c552c3c5ca913333c0aef3a9d43900d Mon Sep 17 00:00:00 2001
From: rachitchokshi <36342425+rachitchokshi@users.noreply.github.com>
Date: Tue, 11 Sep 2018 12:03:53 -0700
Subject: [PATCH] provide armhf deb packages (#301)

* Enabled deb packaging for armhf architecture

closes #280.
---
 ci/before_deploy.bash | 4 ++++
 1 file changed, 4 insertions(+)

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