[waf] bump to 2.0.20
authorPaul Brossier <piem@piem.org>
Wed, 1 Jul 2020 22:02:44 +0000 (00:02 +0200)
committerPaul Brossier <piem@piem.org>
Wed, 1 Jul 2020 22:02:44 +0000 (00:02 +0200)
scripts/get_waf.sh

index c60f966..555e2cc 100755 (executable)
@@ -3,7 +3,7 @@
 set -e
 #set -x
 
-WAFVERSION=2.0.17
+WAFVERSION=2.0.20
 WAFTARBALL=waf-$WAFVERSION.tar.bz2
 WAFURL=https://waf.io/$WAFTARBALL
 WAFUPSTREAMKEY=https://gitlab.com/ita1024/waf/raw/master/utils/pubkey.asc