Ignore:
Timestamp:
Mar 17, 2017, 10:59:51 AM (3 years ago)
Author:
Paul Brossier <piem@piem.org>
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.
Message:

Merge branch 'master' into sampler

File:
1 edited

Legend:

Unmodified
Added
Removed
  • scripts/get_waf.sh

    rbff692e rbad88364  
    44set -x
    55
    6 WAFURL=https://waf.io/waf-1.8.22
     6WAFURL=https://waf.io/waf-1.9.6
    77
    88( 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.