DescriptionEmbedded option processing fixes (#25115).
* Updates error filter and linter configuration to play nice with embedded options.
* Fixes embedded lint config (#25115).
* Improves support for (and tests of) options file deletions.
* Pulls in linter with untyped options support (needed for processing merged options).
Unblocks: https://github.com/flutter/flutter/issues/624.
R=brianwilkerson@google.com
Committed: https://github.com/dart-lang/sdk/commit/1e4cea355f6eddf5b39609f5351d63ba21bf6e9b
Patch Set 1 #
Messages
Total messages: 5 (2 generated)
|