diff options
author | Elyes Haouas <ehaouas@noos.fr> | 2024-04-11 14:02:50 +0200 |
---|---|---|
committer | Elyes Haouas <ehaouas@noos.fr> | 2024-04-12 04:24:20 +0000 |
commit | 9f1030feae813751e607a282d5ec2cff8668b1b5 (patch) | |
tree | 3967d7a286d10e44f4ae32dd61ca26eeed198bfc /util/vgabios | |
parent | 97344731aeaa16766d1467698596df7df6dd7747 (diff) |
tree: Drop duplicated <device/{path,resource}.h>
<device/device.h> is supposed to provide <device/{path,resource}.h>
Change-Id: I2ef82c8fe30b1c1399a9f85c1734ce8ba16a1f88
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/81830
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Eric Lai <ericllai@google.com>
Diffstat (limited to 'util/vgabios')
-rw-r--r-- | util/vgabios/device.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/util/vgabios/device.c b/util/vgabios/device.c index d130314d37..a129cbf1ce 100644 --- a/util/vgabios/device.c +++ b/util/vgabios/device.c @@ -11,7 +11,6 @@ #include <device/device.h> #include <device/pci.h> #include <device/pci_ops.h> -#include <device/resource.h> /* the device we are working with... */ biosemu_device_t bios_device; |