changeset 128:853f9644ad9c

scripts/get_waf.sh: use 1.8.22
author Paul Brossier <piem@piem.org>
date Fri, 22 Jul 2016 05:20:09 +0200
parents 9fccc2ed9ec3
children 75ed6199d8ae
files scripts/get_waf.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/scripts/get_waf.sh	Fri Jul 22 02:12:48 2016 +0200
+++ b/scripts/get_waf.sh	Fri Jul 22 05:20:09 2016 +0200
@@ -3,7 +3,7 @@
 set -e
 set -x
 
-WAFURL=https://waf.io/waf-1.9.1
+WAFURL=https://waf.io/waf-1.8.22
 
 ( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )