ref: 3c230fae309e9ea3298783368dd71bae6172359a
parent: 9452505a636bc184c1a010dfcf0fc3aa4c432ce3
author: Paul Brossier <piem@piem.org>
date: Mon Jun 19 07:55:00 EDT 2017
scripts/get_waf.sh: bump waf to 1.9.12 (see #114)
--- 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.11
+WAFURL=https://waf.io/waf-1.9.12
( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )