From 670daed9f49de43c0202c6f91e0eb69cd73e588f Mon Sep 17 00:00:00 2001
From: Christian Ehrhardt <christian.ehrhardt@canonical.com>
Date: Wed, 14 Nov 2018 08:10:40 +0100
Subject: [PATCH] d/rules: armhf has no default machine, set old default
 machine

Change-Id: I066e3b548f23764910113310c578cdf7c6404d81
Signed-off-by: Christian Ehrhardt <christian.ehrhardt@canonical.com>
---
 debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 1322197d..59c620cf 100755
--- a/debian/rules
+++ b/debian/rules
@@ -25,7 +25,7 @@ ifneq (,$(filter $(DEB_HOST_ARCH), arm64))
 RTE_MACHINE ?= "default"
 else
 ifneq (,$(filter $(DEB_HOST_ARCH), armhf))
-RTE_MACHINE ?= "default"
+RTE_MACHINE ?= "armv7a"
 else
 ifneq (,$(filter $(DEB_HOST_ARCH), ppc64el))
 RTE_MACHINE ?= "power8"
-- 
2.16.6