diff options
| author | Jacob Garber <jgarber1@ualberta.ca> | 2019-05-10 17:29:48 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-05-13 09:24:27 +0000 |
| commit | dbc787d13d461bf0d96002bfc36936de4c64cea7 (patch) | |
| tree | b8d0113044acaf91591b69d5c12c337a575fd9b7 /.gitignore | |
| parent | a75440739d172bea6eeefc08af2bbdefc528e912 (diff) | |
libpayload/drivers/i8042: Add fallthrough comment
Ctrl-delete does nothing, so it falls through to the default case.
Add a comment to make this explicit.
Found-by: Coverity Scan #1260878
Signed-off-by: Jacob Garber <jgarber1@ualberta.ca>
Change-Id: I4a6f51cb04696b6ebcb554c5667a5bbea58622c1
Reviewed-on: https://review.coreboot.org/c/coreboot/+/32750
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Rudolph <siro@das-labor.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions