GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

drivers/ipmi: Fix header guard 

Change-Id: Ic1f33ce883443da1c68627e4c1db10871deecd0d
Signed-off-by: David Hendricks <david.hendricks@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/64364
Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
David Hendricks 2022-05-15 14:32:06 -07:00 committed by Arthur Heymans
parent d9e750c4fd
commit c6396a82e9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/drivers/ipmi/chip.h
View File

@ -2,7 +2,7 @@
#include <device/device.h> #include <device/device.h>
#ifndef _IMPI_CHIP_H_ #ifndef _IPMI_CHIP_H_
#define _IPMI_CHIP_H_ #define _IPMI_CHIP_H_
#include <stdint.h> #include <stdint.h>