tree 6ba60c0ca5a6abbba88e5d5213c1cc28fd7cbc6a
parent 6f2063dcff8e0dc5663df1173396ae084be3e303
author Ali Ghassemi <aghassemi@google.com> 1456510339 -0800
committer Ali Ghassemi <aghassemi@google.com> 1456510384 -0800

TBR mojo/shared: fixing the profile check.

v23-profile list or profile-v23 available no longer
print out the target.

Change-Id: I0d06df11b081fef29cbba817bf724c2cc01e8f06