diff options
| author | Edward O'Callaghan <quasisec@google.com> | 2020-07-14 13:05:24 +1000 |
|---|---|---|
| committer | Edward O'Callaghan <quasisec@chromium.org> | 2020-07-14 22:45:36 +0000 |
| commit | 0f72ddfd20db4ffe5c990b5b0d321b596c204aaa (patch) | |
| tree | 45821fdcc19b6b688cb82de938695b3784c97ee4 /util/lint/lint-stable-013-site-local | |
| parent | c3c7ef3ec2bd51bf5aad44bbb53cf908bb9a7861 (diff) | |
mb/hatch: Fix Puff baseboard missing mainboard symbols
Fix a missing CONFIG_ prefix in Makefile.
BUG=b:161154280
BRANCH=puff
TEST=builds
Change-Id: I177fcd830a8a03a8db1910bfbfd784a60dc08e11
Spotted-by: Ryan Lin.
Signed-off-by: Edward O'Callaghan <quasisec@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/43438
Reviewed-by: Sam McNally <sammc@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/lint/lint-stable-013-site-local')
0 files changed, 0 insertions, 0 deletions