tree bbb0513109ddd38dfb3a3817cf8c4a0be2dc7cfd
parent dc3bb61cff9b5c2bb77fcaa59b41b3b11067b68a
author Cosmos Nicolaou <cnicolaou@google.com> 1446853611 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1446853611 -0800

v.io/jiri: add policy driven flags for merging environment variables.

- Also tidy up v23-profile env, list etc.

MultiPart: 6/11

Change-Id: If25106cd84ec1faeb5fc71957a6f831fa6a3a4de