ref: 5b679ba15fcc7ab1b381e4c0f97d4f401a16e14e
parent: 89bc6f4938d3c1e41e351d7cd8314ed3fb3cd433
author: Paul Brossier <piem@piem.org>
date: Sat Sep 30 16:19:48 EDT 2017
scripts/get_waf.sh: waf 2.0.1
--- a/scripts/get_waf.sh
+++ b/scripts/get_waf.sh
@@ -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 )