diff options
author | Patrick Rudolph <siro@das-labor.org> | 2017-11-01 11:33:00 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2017-11-07 12:32:13 +0000 |
commit | 6a8118405821815017d780d953260bc48eb90e6d (patch) | |
tree | f477247f6351169e3606981908671868b0caffce /.gitignore | |
parent | 12217f2878990ef7f754596eda687b1e50166e24 (diff) |
device/device_util: Add string for DEVICE_PATH_NONE
Add string for DEVICE_PATH_NONE in dev_path. The enum DEVICE_PATH_NONE
can be translated to string and shouldn't be translated by
"Unknown device path type: 0".
Makes console output a lot prettier and readable.
Note: DEVICE_PATH_NONE is used on dummy devices for hotpluggable slots.
Change-Id: I08d471d8217f966e80daefe2d9971e357defde62
Signed-off-by: Patrick Rudolph <siro@das-labor.org>
Reviewed-on: https://review.coreboot.org/22272
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions