tree b395dc917c4e0fe9fdf63a5c27afd30346f44010
parent 7dc37a3fe71c3108984e9ec7593bbb6f4ff00aba
author Michael Rosenfeld <mrosenfeld@google.com> 1530140594 -0700
committer Michael Rosenfeld <mrosenfeld@google.com> 1530140594 -0700

Make option name public for PTS usage.

Bug: 70977201
Test: none
Change-Id: Ie5e62662525e69a9456d9d56f7895ee730dd8863