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