commit 4a16004c828ca5b99846e3e273077b67d400a303
author Davide Pesavento <davidepesa@gmail.com> Mon Apr 13 16:50:02 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Apr 14 01:46:27 2020 -0400
tree dbf08ad60e9cbd6a7e555a96bcfaec9890141855
parent f35aab961d831fc20a0a8d5f43791ebfef2460a6

build+ci: switch to python3

Also in this commit:
 * Sync CI scripts with other projects
 * Build examples in CI
 * Delete unused code coverage script
 * Cleanup README.md and INSTALL.md

Refs: #5095
Change-Id: If07c68487126e242c027b46bd597ff7932f526fd

.jenkins.d/util.sh

diff --git a/.jenkins.d/util.sh b/.jenkins.d/util.sh
index a89bc27..8077a74 100644
--- a/.jenkins.d/util.sh
+++ b/.jenkins.d/util.sh
@@ -16,3 +16,24 @@
     set ${saved_xtrace}
     return ${ret}
 }
+export -f has
+
+sudo_preserve_env() {
+    local saved_xtrace
+    [[ $- == *x* ]] && saved_xtrace=-x || saved_xtrace=+x
+    set +x
+
+    local vars=()
+    while [[ $# -gt 0 ]]; do
+        local arg=$1
+        shift
+        case ${arg} in
+            --) break ;;
+            *)  vars+=("${arg}=${!arg}") ;;
+        esac
+    done
+
+    set ${saved_xtrace}
+    sudo env "${vars[@]}" "$@"
+}
+export -f sudo_preserve_env