tree 517a1ef361d995f1189e3303a287d3eb4e8fdb6d
parent 14c01bea97d6322be933200ebe1a3c637fd3db04
author Tom Cherry <tomcherry@google.com> 1561652513 -0700
committer Tom Cherry <tomcherry@google.com> 1561652513 -0700

Switch host_init_verifier to getopt()

Test: build, including init script verification, works
Change-Id: Ia786cdf14eb9449ad2d5a6ac9b571c6be709f1e5