source: scripts/get_waf.sh @ 986131d

feature/autosinkfeature/cnnfeature/cnn_orgfeature/constantqfeature/crepefeature/crepe_orgfeature/pitchshiftfeature/pydocstringsfeature/timestretchfix/ffmpeg5
Last change on this file since 986131d was 3c230fa, checked in by Paul Brossier <piem@piem.org>, 7 years ago

scripts/get_waf.sh: bump waf to 1.9.12 (see #114)

  • Property mode set to 100755
File size: 178 bytes
RevLine 
[7858305]1#! /bin/sh
2
3set -e
4set -x
5
[3c230fa]6WAFURL=https://waf.io/waf-1.9.12
[7858305]7
8( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )
9
10chmod +x waf
Note: See TracBrowser for help on using the repository browser.