diff options
| author | Jacob Garber <jgarber1@ualberta.ca> | 2019-07-01 12:05:00 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2019-07-07 20:26:25 +0000 |
| commit | 4177bedd65f0f19400acf8f21aedd2abf3c837bf (patch) | |
| tree | 854bd607aa72ead3510dc27510fadf57e2ab800a /util/lint/lint-007-checkpatch | |
| parent | f2ba2d9421744eb31e4001f448ad02593dd82883 (diff) | |
util/nvramtool: Include missing header
The prototype for is_ident() is in this header, so include it.
Change-Id: I45e0d58d1b891b18b3eb7741897ab691188a2bd9
Signed-off-by: Jacob Garber <jgarber1@ualberta.ca>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/33947
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
Diffstat (limited to 'util/lint/lint-007-checkpatch')
0 files changed, 0 insertions, 0 deletions