diff --git a/scripts/integrate-distro.sh b/scripts/integrate-distro.sh
index 2f54c7aa..3bedc03f 100644
--- a/scripts/integrate-distro.sh
+++ b/scripts/integrate-distro.sh
@@ -1165,6 +1165,8 @@ i386|i586|i686)
 		l32=linux32;;
 	esac
 	;;
+armv7hl)
+	;;
 x86_64|"")
 	;;
 *)