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/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 1c310a0..c4dc88d 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -11,7 +11,7 @@
 git submodule update
 
 # Cleanup
-sudo ./waf --color=yes distclean
+sudo env "PATH=$PATH" ./waf --color=yes distclean
 
 if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then
   # Configure/build in optimized mode with tests
@@ -19,14 +19,14 @@
   ./waf --color=yes build -j${WAF_JOBS:-1}
 
   # Cleanup
-  sudo ./waf --color=yes distclean
+  sudo env "PATH=$PATH" ./waf --color=yes distclean
 
   # Configure/build in optimized mode without tests
   ./waf --color=yes configure
   ./waf --color=yes build -j${WAF_JOBS:-1}
 
   # Cleanup
-  sudo ./waf --color=yes distclean
+  sudo env "PATH=$PATH" ./waf --color=yes distclean
 fi
 
 # Configure/build in debug mode with tests and without precompiled headers
@@ -41,4 +41,4 @@
 # (tests will be run against debug version)
 
 # Install
-sudo ./waf --color=yes install
+sudo env "PATH=$PATH" ./waf --color=yes install