commit ec61b744efe183b61b45146840b697735b00fafc
author Davide Pesavento <davidepesa@gmail.com> Sat Apr 18 01:00:12 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Sat Apr 18 02:09:03 2020 -0400
tree 5b0595082ffa9ecdcbeab2bdcfaf4312ad0a85bf
parent 2eb4f0732a70e001e99eb62054877dec7bb7a1b0

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Sync sphinx_build waf tool with ndn-cxx
 * Modernize docs/conf.py
 * Replace redmine_issue extension with sphinx.ext.extlinks
 * Fix typo in docs/doxygen.conf.in
 * Improve README.md

Refs: #5095
Change-Id: Iee05500f907442dd7cb3e41bd613beef7461dab4

.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