From 7858305a8c2dbdfb5c1f3a3ce9b25966cb906b4a Mon Sep 17 00:00:00 2001
From: Paul Brossier <piem@piem.org>
Date: Fri, 22 Jul 2016 05:27:59 +0200
Subject: [PATCH] scripts/get_waf.sh: added simple script to fetch latest waf

---
 scripts/get_waf.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 scripts/get_waf.sh

diff --git a/scripts/get_waf.sh b/scripts/get_waf.sh
new file mode 100755
index 00000000..5b41d8d1
--- /dev/null
+++ b/scripts/get_waf.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+set -e
+set -x
+
+WAFURL=https://waf.io/waf-1.8.22
+
+( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )
+
+chmod +x waf
-- 
2.11.0