ref: 0c3b7c8f913d8aa5fe066269489996c45a821d3a
parent: cd520be7fc9da5ab43417502973ee9f3e21add2f
author: Paul Brossier <piem@piem.org>
date: Wed Jul 1 20:02:44 EDT 2020
[waf] bump to 2.0.20
--- a/scripts/get_waf.sh
+++ b/scripts/get_waf.sh
@@ -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