- Timestamp:
- Dec 27, 2023, 6:12:54 PM (12 months ago)
- Branches:
- master
- Children:
- 128acfd
- Parents:
- 245deea
- File:
-
- 1 edited
-
scripts/get_waf.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
scripts/get_waf.sh
r245deea r885e316 4 4 #set -x 5 5 6 WAFVERSION=2.0.2 36 WAFVERSION=2.0.26 7 7 WAFTARBALL=waf-$WAFVERSION.tar.bz2 8 8 WAFURL=https://waf.io/$WAFTARBALL
Note: See TracChangeset
for help on using the changeset viewer.
