commit f6be8e37f62f98c6b80812c09a79d5df0e9c5118
author Davide Pesavento <davidepesa@gmail.com> Thu Apr 30 16:06:03 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Thu Apr 30 19:45:26 2020 -0400
tree 6ff8bd91ea233628713a5ec17a0123b48ae6a5d2
parent 0db4d4d8fc453f167eb67d8bb9f72dd76006ab24

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Modernize docs/conf.py
 * Replace redmine_issue extension with sphinx.ext.extlinks
 * Minor updates to docs/doxygen.conf.in
 * Cleanup README.md and INSTALL.rst

Refs: #5095
Change-Id: I614e876e6aed73659f4f4cea01813f4604599263

.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