From 5b679ba15fcc7ab1b381e4c0f97d4f401a16e14e Mon Sep 17 00:00:00 2001
From: Paul Brossier <piem@piem.org>
Date: Sat, 30 Sep 2017 20:19:48 +0200
Subject: [PATCH] scripts/get_waf.sh: waf 2.0.1

---
 scripts/get_waf.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/get_waf.sh b/scripts/get_waf.sh
index a6122f4a..d880db6b 100755
--- 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 )
 
-- 
2.11.0