Index: tools/build
===================================================================
--- tools/build	(revision 7b6c5f4d2b3692c9e99cb9ee960077e1a0d9ba73)
+++ tools/build	(revision 3af72dca342b59a46ccdece60c8c361608702518)
@@ -16,5 +16,5 @@
 fi
 
-ARGS=""
+ARGS="ARCH=$ARCH"
 while [ "$#" -gt 0 ]; do
 	case "$1" in
@@ -35,3 +35,3 @@
 done
 
-make all "ARCH=$ARCH"
+make all $ARGS