Index: tools/build
===================================================================
--- tools/build	(revision 34722eec48a3738a79af032a3ee21e3eead183db)
+++ tools/build	(revision d43d2f705946ff05da350bbb3b6648898cae3600)
@@ -61,4 +61,4 @@
 fi
 
-tools/config.py default
+tools/config.py $ARCH default
 make all "ARCH=$ARCH" "TAG=$TAG" $ARGS