tree 1242845877320bb3aefae05943959cafae197b26
parent d135395e219d5044ba8600e04a667d669b2f5556
author Paul Berry <paulberry@google.com> 1627675537 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1627675537 +0000

Add an analysis option allowing linter exceptions to be propagated.

This will be used in internal builds to ensure that an exception
occuring during linting fails the build; this should help us be more
confident in the robustness of the linter code.

Change-Id: I4eaa47044b32b45433a67cc919ad047663dc771c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/208141
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>