| commit | 69857c37c29a0add683d40a96dc7c06f348799ff | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Apr 05 16:36:26 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Mon Apr 06 15:32:21 2020 -0400 |
| tree | 44973157f7aad6bd3f142e111bc639d54243c973 | |
| parent | feeb918ea8664dab421630a908f1b3b0db922857 [diff] [blame] |
build+docs: switch to python3, refresh FAQ and INSTALL documents Refs: #5095 Change-Id: Icdc0e9463b28c07783edbe392a9bc47136947e3b
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