diff options
| author | Elyes HAOUAS <ehaouas@noos.fr> | 2018-11-01 11:29:50 +0100 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2018-11-01 11:25:07 +0000 |
| commit | c4e41937150beab78ba5d492b7b22799d20a0ee4 (patch) | |
| tree | f8248eb3b2988bc5d3384b96f87bb848f6876134 /src/include/device | |
| parent | 1956a00953d8eac277b0eb508fcfe60c8f4e1141 (diff) | |
src: Add missing include <stdint.h>
Change-Id: Idf10a09745756887a517da4c26db7a90a1bf9543
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/29403
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'src/include/device')
| -rw-r--r-- | src/include/device/path.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/include/device/path.h b/src/include/device/path.h index 0d9c681c88..6736bede69 100644 --- a/src/include/device/path.h +++ b/src/include/device/path.h @@ -1,6 +1,8 @@ #ifndef DEVICE_PATH_H #define DEVICE_PATH_H +#include <stdint.h> + enum device_path_type { DEVICE_PATH_NONE = 0, DEVICE_PATH_ROOT, |