Changeset 841ceed for scripts/get_waf.sh
- Timestamp:
- Jun 28, 2019, 3:03:56 PM (5 years ago)
- Branches:
- feature/autosink, feature/cnn, feature/crepe, feature/crepe_org, feature/timestretch, fix/ffmpeg5, master
- Children:
- 673d7e3
- Parents:
- 11c46c8 (diff), e3fde21 (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
r11c46c8 r841ceed 4 4 #set -x 5 5 6 WAFVERSION=2.0.1 46 WAFVERSION=2.0.17 7 7 WAFTARBALL=waf-$WAFVERSION.tar.bz2 8 8 WAFURL=https://waf.io/$WAFTARBALL
Note: See TracChangeset
for help on using the changeset viewer.