# HG changeset patch
# User Paul Brossier <piem@piem.org>
# Date 1469157609 -7200
# Node ID 853f9644ad9cb17fbc9b6379c8b93f71a392f38e
# Parent  9fccc2ed9ec34e88797803d4eec9d51abf3307d6
scripts/get_waf.sh: use 1.8.22

diff -r 9fccc2ed9ec3 -r 853f9644ad9c scripts/get_waf.sh
--- 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 )