commit 7eaed5cd3f5b42b7280897c68ab2e9c0dcd74141
author Davide Pesavento <davidepesa@gmail.com> Wed Jan 09 20:03:43 2019 -0500
committer Davide Pesavento <davidepesa@gmail.com> Wed Jan 09 21:14:02 2019 -0500
tree d435eb04d97d31722f703206f0f3e4d706f3a631
parent 51459409bdc2c70fe7804eb6df7a0917cb0c1259

Update build system and CI scripts

Change-Id: I4894a30d0cfc7af5de1d272edb70ce9cc4b6d372

.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