# HG changeset patch
# User Paul Brossier <piem@piem.org>
# Date 1469385461 -7200
# Node ID 01b4286e1dab975b05d035a4c71892bdac3a2246
# Parent  cd712d0d5e0728184d4ac0e7189e8c024d3c1321
scripts/get_aubio.sh: always pass options

diff -r cd712d0d5e07 -r 01b4286e1dab scripts/get_aubio.sh
--- a/scripts/get_aubio.sh	Sun Jul 24 20:32:44 2016 +0200
+++ b/scripts/get_aubio.sh	Sun Jul 24 20:37:41 2016 +0200
@@ -12,7 +12,7 @@
 ./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