| commit | 5b9c85a7e93276062dcf11e359ba4c7b7a81753d | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Thu Apr 09 21:10:54 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Thu Apr 09 21:10:54 2020 -0400 |
| tree | ab0c52325728a826afbf6cd2f4ccac81b184f23e | |
| parent | f291881aacb11ca592e0fc91b127955f02be3047 [diff] [blame] |
build+ci: upgrade waf to version 2.0.19, switch to python3 Refs: #5095 Change-Id: I75429ca3617ca61769e1964f556ac5b779bf01ba
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