diff options
-rwxr-xr-x | debian/rules | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index fc4665d..9ed6221 100755 --- a/debian/rules +++ b/debian/rules @@ -6,6 +6,11 @@ ifneq (,$(filter $(DEB_HOST_ARCH), armel x32)) PLATFORM = --platform=unknown endif +ifeq ($(DEB_HOST_ARCH),armhf) + DEB_CFLAGS_MAINT_APPEND = -march=armv7-a+fp + export DEB_CFLAGS_MAINT_APPEND +endif + ifeq ($(DEB_HOST_ARCH), i386) PLATFORM = --disable-sse endif |