Cache os calls to make xenv faster (!548) · Merge requests · Gaudi / Gaudi · GitLab

Marco Clemencic requested to merge cherry-pick-c3be0ffa into v29-patches Dec 18, 2017

See merge request !533 (merged)

(cherry picked from commit c3be0ffa)

fbb31db0 Cache os calls to make xenv faster