From edb1d7ad495cf0a378dd58a133a68edf3e995c94 Mon Sep 17 00:00:00 2001 From: Paul Brossier Date: Fri, 22 Apr 2016 16:33:19 +0200 Subject: [PATCH] Makefile: update waf to 1.8.20 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b8d6c628..b50e258a 100644 --- a/Makefile +++ b/Makefile @@ -5,7 +5,7 @@ checkwaf: @[ -f waf ] || make getwaf getwaf: - curl https://waf.io/waf-1.8.14 > waf + curl https://waf.io/waf-1.8.20 > waf @chmod +x waf expandwaf: -- 2.11.0