Index: tools/build
===================================================================
--- tools/build	(revision 7b6c5f4d2b3692c9e99cb9ee960077e1a0d9ba73)
+++ tools/build	(revision feef1cd3702ab8f3d1f357fb02cfdceb1a73b3e3)
@@ -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