Changeset bad88364 for scripts/get_waf.sh
- Timestamp:
- Mar 17, 2017, 10:59:51 AM (7 years ago)
- Branches:
- sampler
- Children:
- f8bdcb2
- Parents:
- bff692e (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
rbff692e rbad88364 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.