commit 8ca138de13b11f84b35c1fa4d2fe8a365c65760d
author Davide Pesavento <davide.pesavento@lip6.fr> Thu Aug 10 21:36:30 2017 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> Thu Aug 10 21:36:30 2017 -0400
tree d946a8ac0ce5aa3702c57b95541c2c915c164099
parent a5765d647b25102938d890b6d90d69a9efa9986a

ci: preserve PATH when running waf under sudo

Change-Id: Ideb6f9d4ec3d92af134b923b9abafc952ee868e6
Refs: #4186

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

diff --git a/.jenkins.d/01-ndn-cxx.sh b/.jenkins.d/01-ndn-cxx.sh
index 7a42b5a..c9e2a63 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 ./waf install --color=yes
+sudo env "PATH=$PATH" ./waf install --color=yes
 
 popd >/dev/null
 popd >/dev/null