tree 49699e6b888a19dcecb43c0836d1e9847689d0b7
parent 4946e66bc9e5acedf897221c2d3ab01f30a5a935
author Tamas Kenez <tamaskenez@google.com> 1503414445 +0200
committer Tamas Kenez <tamaskenez@google.com> 1503414445 +0200

r8: add option --no-discarded-checker

Bug:
Change-Id: I38c055d3a3cb527fe0bda23229363edc02c39c16