tree bfe3fcb2443d5acfa3330a9f0341e3e61fb075ff
parent e80d1167d490cd5c126236c880904069caaff9c1
author Davide Pesavento <davide.pesavento@lip6.fr> 1536200869 -0400
committer Alex Afanasyev <aa@cs.fiu.edu> 1536546114 -0700

ci: introduce helper to preserve select env variables under sudo

Change-Id: I0217b8fbb005a43dddaf0010aa85130411d20813
Refs: #4610