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