tree 56c390def55e2cf529a6222b9d701ca46e1f8263
parent 504e306c3870d645d88ac75bb665c94c9deffd59
author Ian Zerny <zerny@google.com> 1667908416 +0100
committer Ian Zerny <zerny@google.com> 1667915907 +0000

Add a 'none' level for --map-diagnostics.

This allows the command line to silence diagnostics.

Fixes: b/258143347
Change-Id: I00d94ce2c401ce783d4400c4eff64362d6a6edc3