scripts/get_aubio.sh: always pass options

diff --git a/scripts/get_aubio.sh b/scripts/get_aubio.sh
index d3a5a71..9d42234 100755 (executable)
--- a/scripts/get_aubio.sh
+++ b/scripts/get_aubio.sh
@@ -12,7 +12,7 @@ pushd aubio
 ./scripts/get_waf.sh
 #./waf distclean
 ./waf configure --prefix=$PWD/../aubio-dist $WAFOPTS
 ./scripts/get_waf.sh
 #./waf distclean
 ./waf configure --prefix=$PWD/../aubio-dist $WAFOPTS

-./waf build -v
-./waf install -v
+./waf build -v $WAFOPTS
+./waf install -v $WAFOPTS

 popd
 popd
 popd
 popd