Changes in scripts/get_waf.sh [7858305:80e9efc]
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
scripts/get_waf.sh
r7858305 r80e9efc 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.