Changeset 9fa0ed1 for scripts/get_waf.sh
- Timestamp:
- Jul 24, 2017, 2:12:55 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
- Children:
- 1070378
- Parents:
- 482641d (diff), ddea34b (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
r482641d r9fa0ed1 4 4 set -x 5 5 6 WAFURL=https://waf.io/waf-1.9. 66 WAFURL=https://waf.io/waf-1.9.12 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.