Makefile: use wget or curl
authorPaul Brossier <piem@piem.org>
Wed, 20 Jul 2016 23:00:12 +0000 (01:00 +0200)
committerPaul Brossier <piem@piem.org>
Wed, 20 Jul 2016 23:00:12 +0000 (01:00 +0200)
Makefile

index 2e69120..56caf0c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ checkwaf:
        @[ -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: