Changeset 08d07ce for scripts/get_waf.sh
- Timestamp:
- Jun 29, 2019, 1:14:08 PM (5 years ago)
- Branches:
- feature/cnn, feature/crepe, feature/timestretch, fix/ffmpeg5, master
- Children:
- 3a83821
- Parents:
- 9279ba0 (diff), 2244f00 (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
-
scripts/get_waf.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
scripts/get_waf.sh
r9279ba0 r08d07ce 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.
