piem@118: #! /bin/sh
piem@118: 
piem@118: set -e
piem@118: set -x
piem@118: 
piem@128: WAFURL=https://waf.io/waf-1.8.22
piem@118: 
piem@118: ( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf )
piem@118: 
piem@118: chmod +x waf