From e330033d2cdc3ae81130a50dc96f9d4d619cf5ab Mon Sep 17 00:00:00 2001 From: Paul Brossier Date: Thu, 22 Oct 2015 19:59:55 +0200 Subject: [PATCH] Makefile: update to waf 1.8.14 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f1258be7..160477f6 100644 --- 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-* -- 2.11.0