diff options
| author | Patrick Georgi <pgeorgi@chromium.org> | 2016-12-15 14:57:04 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2016-12-16 15:55:33 +0100 |
| commit | 6e50e33aea6062df5c06652fe3617cb8b5df5e3b (patch) | |
| tree | e0066b75c3fc605d009a5f2c37872e5cfb441dd7 /util/lint/lint-stable-017-configs | |
| parent | 856a3ab7c7c216a90b8ae45d6a0931a8eb3b7d20 (diff) | |
util/broadcom: Close file after use
Change-Id: Ieea7ac7fbc618cd12f843f1606f9ebab37cae67e
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Found-by: Coverity Scan #1323508
Reviewed-on: https://review.coreboot.org/17879
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/lint/lint-stable-017-configs')
0 files changed, 0 insertions, 0 deletions