ref: 2610b66f5146d02f8a5c8ba0a3d0b0ba81bb5a38 dir: /scripts/get_waf.sh/
#! /bin/sh set -e set -x WAFURL=https://waf.io/waf-1.9.6 ( which wget > /dev/null && wget -qO waf $WAFURL ) || ( which curl > /dev/null && curl $WAFURL > waf ) chmod +x waf