Changes in scripts/get_waf.sh [3cc0022:5b679ba]

File:

• scripts/get_waf.sh (modified) (1 diff)

scripts/get_waf.sh

@@ -1 @@
-#! /bin/bash
+#! /bin/sh
 
 set -e
 set -x
 
-WAFVERSION=2.0.1
-WAFTARBALL=waf-$WAFVERSION.tar.bz2
-WAFURL=https://waf.io/$WAFTARBALL
+WAFURL=https://waf.io/waf-2.0.1
 
-WAFBUILDDIR=`mktemp -d`
+( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )
 
-function cleanup () {
-  rm -rf $WAFBUILDDIR
-}
-
-trap cleanup SIGINT SIGTERM
-
-function buildwaf () {
-  pushd $WAFBUILDDIR
-
-  ( which wget > /dev/null && wget -qO $WAFTARBALL $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > $WAFTARBALL )
-
-  tar xf $WAFTARBALL
-  pushd waf-$WAFVERSION
-  NOCLIMB=1 python waf-light --tools=c_emscripten,syms $*
-
-  popd
-  popd
-
-  cp -prv $WAFBUILDDIR/waf-$WAFVERSION/waf $PWD
-
-  chmod +x waf
-}
-
-buildwaf
-
-cleanup
+chmod +x waf