scripts/get_waf.sh: waf 2.0.1
authorPaul Brossier <piem@piem.org>
Sat, 30 Sep 2017 18:19:48 +0000 (20:19 +0200)
committerPaul Brossier <piem@piem.org>
Sat, 30 Sep 2017 18:19:48 +0000 (20:19 +0200)
scripts/get_waf.sh

index a6122f4..d880db6 100755 (executable)
@@ -3,7 +3,7 @@
 set -e
 set -x
 
-WAFURL=https://waf.io/waf-1.9.12
+WAFURL=https://waf.io/waf-2.0.1
 
 ( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )