diff --git a/configure.ac b/configure.ac
index abb6cb406..6f297c8fb 100644
--- a/configure.ac
+++ b/configure.ac
@@ -143,6 +143,7 @@ if test "$BOXTYPE" = "coolstream"; then
 fi
 
 if test "$BOXTYPE" = "coolstream" ||
+   test "$BOXTYPE" = "armbox" ||
    test "$BOXTYPE" = "generic" ||
    test "$BOXTYPE" = "tripledragon" ||
    test "$BOXTYPE" = "spark"; then