commit 0b0eddd60c34f768e7ae3a18a55cb53f7730b2e4
author Davide Pesavento <davidepesa@gmail.com> Tue Mar 19 14:42:15 2019 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Mar 19 14:42:15 2019 -0400
tree aae866ed604f762b684a00835018fa7e76373923
parent 9ecbdc95c5e45b90f9616b5145cf8ef4684d4092

ci: update .travis.yml and jenkins scripts

Change-Id: I315196cb9d8e96f46e706a78c2d15d856a0a8d8b

.jenkins.d/util.sh

diff --git a/.jenkins.d/util.sh b/.jenkins.d/util.sh
index a89bc27..8ddc4ba 100644
--- a/.jenkins.d/util.sh
+++ b/.jenkins.d/util.sh
@@ -16,3 +16,22 @@
     set ${saved_xtrace}
     return ${ret}
 }
+
+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[@]}" "$@"
+}