Index: Makefile
--- Makefile.orig
+++ Makefile
@@ -2,7 +2,7 @@
 
 WAF_BIN=`PATH=buildtools/bin:../../buildtools/bin:$$PATH which waf`
 WAF_BINARY=$(PYTHON) $(WAF_BIN)
-WAF=PYTHONHASHSEED=1 WAF_MAKE=1 $(WAF_BINARY)
+WAF=PYTHONHASHSEED=1 WAF_MAKE=1 $(WAF_BINARY) $(WAF_ARGS)
 
 all:
 	$(WAF) build
