scripts/get_waf.sh: bump to waf 1.9.11

diff --git a/scripts/get_waf.sh b/scripts/get_waf.sh
index 8b9acf0..74b1b05 100755 (executable)
--- a/scripts/get_waf.sh
+++ b/scripts/get_waf.sh
@@ -3,7 +3,7 @@
 set -e
 set -x
 
 set -e
 set -x
 

-WAFURL=https://waf.io/waf-1.9.6
+WAFURL=https://waf.io/waf-1.9.11

 
 ( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )
 
 
 ( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )