commit | 2349e28c6d56d820624e2b9a666aa864a1518ab9 | [log] [tgz] |
---|---|---|
author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 24 14:28:03 2020 -0400 |
committer | Davide Pesavento <davidepesa@gmail.com> | Thu Mar 26 17:56:05 2020 -0400 |
tree | e51e88af5078cfe8efb08b8ebc5e59b920f6aaf2 | |
parent | d776a93c9ca8940553e601bb7000d15c26ac02a8 [diff] [blame] |
build: add CentOS 8 support; drop CentOS 7 Refs: #5040, #5087 Change-Id: I6dcc5e9ee6b4839a6b3f15f1ad6dabf140301ae4
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