tree afe44958c69e6e9664512c30ac7d5629f4a7cc78
parent bf28cd76ee40c01cb8401e3ef80bf97870bc4b4c
author Davide Pesavento <davide.pesavento@lip6.fr> 1502416062 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1502675919 -0400

ci: preserve PATH when running waf under sudo

Change-Id: I090dd49d1d8f78007b1b7684af7563fbedac770a
Refs: #4186