Changes in scripts/get_waf.sh [80e9efc:3c230fa]
- File:
-
- 1 edited
-
scripts/get_waf.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
scripts/get_waf.sh
r80e9efc r3c230fa 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.
