ref: 288c193c1ae42b733aab160da1fc0cd25a74d68e
parent: 413bc0f2981b407c0cbbf3f4a8d1f4b913323f0e
author: Paul Brossier <piem@piem.org>
date: Wed Jul 20 21:00:12 EDT 2016
Makefile: use wget or curl
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@
@[ -f waf ] || make getwaf
getwaf:
- curl https://waf.io/waf-1.8.20 > waf
+ @( which wget > /dev/null && wget -qO waf $(WAFURL) ) || ( which curl > /dev/null && curl $(WAFURL) > waf )
@chmod +x waf
expandwaf: