diff options
| author | Elyes HAOUAS <ehaouas@noos.fr> | 2018-08-13 20:17:57 +0200 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2018-08-14 23:25:59 +0000 |
| commit | ec6d01579b62b2b62947f501efd65fbafefcdb92 (patch) | |
| tree | 9bdeef27f3c3e55c8f8d713bf7ffc71e3795b14a /src/mainboard/google/rambi/mainboard.c | |
| parent | fb09693ab69150159170465df49618e794f7dd59 (diff) | |
src: Remove duplicated 'include <device/device.h>'
Change-Id: Ia38c6f8d978065090564d449cae11d54ddb96421
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/28064
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Diffstat (limited to 'src/mainboard/google/rambi/mainboard.c')
| -rw-r--r-- | src/mainboard/google/rambi/mainboard.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/mainboard/google/rambi/mainboard.c b/src/mainboard/google/rambi/mainboard.c index eb2e6abb42..641b4de637 100644 --- a/src/mainboard/google/rambi/mainboard.c +++ b/src/mainboard/google/rambi/mainboard.c @@ -17,7 +17,6 @@ #include <types.h> #include <string.h> #include <device/device.h> -#include <device/device.h> #include <device/pci_def.h> #include <device/pci_ops.h> #include <console/console.h> |