Makefile: use scripts/get_waf.sh
authorPaul Brossier <piem@piem.org>
Fri, 22 Jul 2016 19:31:10 +0000 (21:31 +0200)
committerPaul Brossier <piem@piem.org>
Fri, 22 Jul 2016 19:31:10 +0000 (21:31 +0200)
Makefile

index f9d4ac5..a050ef7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -12,8 +12,7 @@ checkwaf:
        @[ -f waf ] || make getwaf
 
 getwaf:
        @[ -f waf ] || make getwaf
 
 getwaf:
-       @( which wget > /dev/null && wget -qO waf $(WAFURL) ) || ( which curl > /dev/null && curl $(WAFURL) > waf )
-       @chmod +x waf
+       @./scripts/get_waf.sh
 
 expandwaf:
        @[ -d wafilb ] || rm -fr waflib
 
 expandwaf:
        @[ -d wafilb ] || rm -fr waflib