commit dda258af14dade5ea4ea6e494fd1d632dee02330
author Davide Pesavento <davide.pesavento@lip6.fr> Thu Sep 06 02:43:10 2018 -0400
committer Alex Afanasyev <aa@cs.fiu.edu> Sun Sep 09 19:21:42 2018 -0700
tree a02d237d0a643ffc7afc7b4047db601532242a86
parent 3e7fc83c123c6571d1b96c4fb1f4c6d58a98fd12

ci: introduce helper to preserve select env variables under sudo

Change-Id: Ia5db4b50e07a40c2eb256182a721c990c5b53382
Refs: #4610

.jenkins.d/01-ndn-cxx.sh

diff --git a/.jenkins.d/01-ndn-cxx.sh b/.jenkins.d/01-ndn-cxx.sh
index c9e2a63..29a41ea 100755
--- a/.jenkins.d/01-ndn-cxx.sh
+++ b/.jenkins.d/01-ndn-cxx.sh
@@ -44,7 +44,7 @@
 
 ./waf configure --color=yes --enable-shared --disable-static --without-osx-keychain
 ./waf build --color=yes -j${WAF_JOBS:-1}
-sudo env "PATH=$PATH" ./waf install --color=yes
+sudo_preserve_env PATH -- ./waf install --color=yes
 
 popd >/dev/null
 popd >/dev/null