tree 1554472996c4bd87bd231be3e1d9da5b4a16f137
parent d8b2a868784dfe501e41b90bb77b4e965b3423b7
author Nicolas Lacasse <nlacasse@google.com> 1442356898 -0700
committer Nicolas Lacasse <nlacasse@google.com> 1442356898 -0700

Rename V23_PROFILE variable to JIRI_PROFILE.

Change-Id: I43439dd5b9f2064d94ab071a25318a8cda79f5af
MultiPart: 6/7