commit fee7ee372cc98df7940b8d4cc92251a0e9e2f44e
author Davide Pesavento <davidepesa@gmail.com> Wed Apr 15 02:45:07 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Thu Apr 16 00:50:54 2020 -0400
tree 4cad4528c24e528c734d741a1b5b5ac21c1d90b5
parent d61851ffb23087cc46d75e5d4bb7d5ed8592e94a

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Upgrade waf to version 2.0.19
 * Modernize docs/conf.py
 * Improve README.md and INSTALL.rst

Refs: #5095
Change-Id: Ic0f4f3be07d7266e57d6565a665eb24a757291e8

.jenkins.d/util.sh

diff --git a/.jenkins.d/util.sh b/.jenkins.d/util.sh
index 8ddc4ba..8077a74 100644
--- a/.jenkins.d/util.sh
+++ b/.jenkins.d/util.sh
@@ -16,6 +16,7 @@
     set ${saved_xtrace}
     return ${ret}
 }
+export -f has
 
 sudo_preserve_env() {
     local saved_xtrace
@@ -35,3 +36,4 @@
     set ${saved_xtrace}
     sudo env "${vars[@]}" "$@"
 }
+export -f sudo_preserve_env