diff options
author | Elyes Haouas <ehaouas@noos.fr> | 2022-12-05 19:06:56 +0100 |
---|---|---|
committer | Elyes Haouas <ehaouas@noos.fr> | 2023-02-05 05:32:55 +0000 |
commit | 01c8c5936451d1f31dcb0a1c79f1f8e01dead83b (patch) | |
tree | 9b8f68ca0fdd04e6090a85288a1de2860da33031 /src/device | |
parent | 6d301c8724eda7cc02e8a674c950dcb8cf1e024d (diff) |
Makefile.inc: Use 'Wmissing-include-dirs' command option
This is to warn if a user add to Makefile a path to nonexistent
directory.
Change-Id: I5a30c3830f30509deaaadc6eaeab0e17bc08565c
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/70251
Reviewed-by: Erik van den Bogaert <ebogaert@eltan.com>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-by: Yu-Ping Wu <yupingso@google.com>
Reviewed-by: Fred Reitberger <reitbergerfred@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'src/device')
0 files changed, 0 insertions, 0 deletions