From: Paul Brossier <piem@piem.org>
Date: Tue, 14 Mar 2017 02:54:06 +0000 (+0100)
Subject: scripts/get_waf.sh: add script to fetch waf
X-Git-Url: https://git.aubio.org/?p=pd-aubio.git;a=commitdiff_plain;h=b7267da7af05d0dbe702e6458bee72eb12fc7965

scripts/get_waf.sh: add script to fetch waf
---

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