Makefile: update to waf 1.8.14
authorPaul Brossier <piem@piem.org>
Thu, 22 Oct 2015 17:59:55 +0000 (19:59 +0200)
committerPaul Brossier <piem@piem.org>
Thu, 22 Oct 2015 17:59:55 +0000 (19:59 +0200)
Makefile

index f1258be..160477f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ checkwaf:
        @[ -f waf ] || make getwaf
 
 getwaf:
-       curl https://waf.io/waf-1.8.12 > waf
+       curl https://waf.io/waf-1.8.14 > waf
        @[ -d wafilb ] || rm -fr waflib
        @chmod +x waf && ./waf --help > /dev/null
        @mv .waf*/waflib . && rm -fr .waf-*