scripts/get_waf.sh: added simple script to fetch latest waf
authorPaul Brossier <piem@piem.org>
Fri, 22 Jul 2016 03:27:59 +0000 (05:27 +0200)
committerPaul Brossier <piem@piem.org>
Fri, 22 Jul 2016 03:27:59 +0000 (05:27 +0200)
scripts/get_waf.sh [new file with mode: 0755]

diff --git a/scripts/get_waf.sh b/scripts/get_waf.sh
new file mode 100755 (executable)
index 0000000..5b41d8d
--- /dev/null
@@ -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