| commit | d8398820f182ddc9255b8bff2ee5fe52097e22b8 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Mar 29 18:46:19 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Mar 29 21:39:11 2020 -0400 |
| tree | b037da4494d2725e7723a6220a7b72a48b97cf46 | |
| parent | a1a9d704bad78b34cd18b59dcb1b92690c72b8e0 [diff] [blame] |
ci: add CentOS 8 support; drop CentOS 7 Refs: #5040, #5087 Change-Id: Ia680fecc41d16d21d7b03f117a30a2966cf46679
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