tree d946a8ac0ce5aa3702c57b95541c2c915c164099
parent a5765d647b25102938d890b6d90d69a9efa9986a
author Davide Pesavento <davide.pesavento@lip6.fr> 1502415390 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1502415390 -0400

ci: preserve PATH when running waf under sudo

Change-Id: Ideb6f9d4ec3d92af134b923b9abafc952ee868e6
Refs: #4186