Index: Makefile
===================================================================
--- Makefile	(revision 214e89e396a9a2332bd3ffcd0a3fc259dfbafbc1)
+++ Makefile	(revision 81703f9a9703e68137c37b70a7833fc79132fa2f)
@@ -153,5 +153,5 @@
 
 all:
-	tools/config.py default
+	tools/config.py default $(ARCH)
 	$(MAKE) -C . build