tree 327526a59f6b993df949f0d3ad22420916bcba21
parent 20d5a0b9fd10522197c0324a99d0cd5f4fb05000
author Davide Pesavento <davide.pesavento@lip6.fr> 1536703015 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1536703015 -0400

ci: introduce helper to preserve select env variables under sudo

Change-Id: I317a3c03d7188501f819b79ddfa6f0a2946a9866
Refs: #4610