diff options
| author |   Christian Ehrhardt <christian.ehrhardt@canonical.com> | 2018-11-14 08:10:40 +0100 |
|---|---|---|
| committer | Christian Ehrhardt <christian.ehrhardt@canonical.com> | 2018-11-14 08:50:02 +0100 |
| commit | 670daed9f49de43c0202c6f91e0eb69cd73e588f (patch) | |
| tree | 87ac56812a31169ee15a8f20ada94ef3ffd79547 /debian | |
| parent | be002c883918855f50e0831891d95c2b3919d0ff (diff) | |
d/rules: armhf has no default machine, set old default machine
Change-Id: I066e3b548f23764910113310c578cdf7c6404d81
Signed-off-by: Christian Ehrhardt <christian.ehrhardt@canonical.com>
Diffstat (limited to 'debian')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
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" |