Changeset 8177483 for scripts/get_waf.sh
- Timestamp:
- Mar 26, 2017, 1:09:06 PM (7 years ago)
- Branches:
- feature/autosink, feature/cnn, feature/cnn_org, feature/constantq, feature/crepe, feature/crepe_org, feature/pitchshift, feature/pydocstrings, feature/timestretch, fix/ffmpeg5, master, sampler
- Children:
- 6e8f021
- Parents:
- 42f1cd01 (diff), c7d444a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
scripts/get_waf.sh
r42f1cd01 r8177483 4 4 set -x 5 5 6 WAFURL=https://waf.io/waf-1. 8.226 WAFURL=https://waf.io/waf-1.9.6 7 7 8 8 ( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )
Note: See TracChangeset
for help on using the changeset viewer.