tree 37f71d53687b241ebcae0fa135b44dec421f758e
parent c0c6bcf7e29cf477659cbc31c67082e054f42742
author Davide Pesavento <davide.pesavento@lip6.fr> 1503269026 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1503781560 -0400

ci: preserve PATH when running waf under sudo

Change-Id: I85bdc5b69de2c2c7b8c0dc5a7aa2927b495e2168
Refs: #4186