commit 0b0eddd60c34f768e7ae3a18a55cb53f7730b2e4
author Davide Pesavento <davidepesa@gmail.com> Tue Mar 19 14:42:15 2019 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Mar 19 14:42:15 2019 -0400
tree aae866ed604f762b684a00835018fa7e76373923
parent 9ecbdc95c5e45b90f9616b5145cf8ef4684d4092

ci: update .travis.yml and jenkins scripts

Change-Id: I315196cb9d8e96f46e706a78c2d15d856a0a8d8b

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 2ecdfdc..6faaf55 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -17,7 +17,7 @@
 fi
 
 # Cleanup
-sudo env "PATH=$PATH" ./waf --color=yes distclean
+sudo_preserve_env PATH -- ./waf --color=yes distclean
 
 if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then
   # Configure/build in optimized mode with tests
@@ -25,14 +25,14 @@
   ./waf --color=yes build -j${WAF_JOBS:-1}
 
   # Cleanup
-  sudo env "PATH=$PATH" ./waf --color=yes distclean
+  sudo_preserve_env 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 env "PATH=$PATH" ./waf --color=yes distclean
+  sudo_preserve_env PATH -- ./waf --color=yes distclean
 fi
 
 # Configure/build in debug mode with tests
@@ -42,4 +42,4 @@
 # (tests will be run against debug version)
 
 # Install
-sudo env "PATH=$PATH" ./waf --color=yes install
+sudo_preserve_env PATH -- ./waf --color=yes install