tree a02d237d0a643ffc7afc7b4047db601532242a86
parent 3e7fc83c123c6571d1b96c4fb1f4c6d58a98fd12
author Davide Pesavento <davide.pesavento@lip6.fr> 1536216190 -0400
committer Alex Afanasyev <aa@cs.fiu.edu> 1536546102 -0700

ci: introduce helper to preserve select env variables under sudo

Change-Id: Ia5db4b50e07a40c2eb256182a721c990c5b53382
Refs: #4610