Update waf to 2.0.12

- Issue: #26 - Issue: tiliado/nuvolaplayer#469 Signed-off-by: Jiří Janoušek <janousek.jiri@gmail.com>
tiliado · Oct 27, 2018 · 0970e18 · 0970e18
1 parent 1e0c10a
commit 0970e18
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 9 deletions.
diff --git a/tools/update_waf b/tools/update_waf
@@ -0,0 +1,9 @@
+#!/bin/sh
+set -eu
+FILE=$(wget "https://waf.io/" -O - | grep -o -m 1 -E 'waf-[[:digit:]]+\.[[:digit:]]+\.[[:digit:]]+')
+wget "https://waf.io/$FILE"
+echo "#!/usr/bin/env python3" > waf-new
+tail -n +2 "$FILE" >> waf-new
+chmod a+x waf-new
+mv waf-new waf
+rm "$FILE"
diff --git a/waf b/waf