From c6396a82e985f784838de8adbb6e3e5e532c13cc Mon Sep 17 00:00:00 2001 From: David Hendricks Date: Sun, 15 May 2022 14:32:06 -0700 Subject: [PATCH] drivers/ipmi: Fix header guard Change-Id: Ic1f33ce883443da1c68627e4c1db10871deecd0d Signed-off-by: David Hendricks Reviewed-on: https://review.coreboot.org/c/coreboot/+/64364 Reviewed-by: Paul Menzel Reviewed-by: Elyes Haouas Reviewed-by: Arthur Heymans Tested-by: build bot (Jenkins) --- src/drivers/ipmi/chip.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/drivers/ipmi/chip.h b/src/drivers/ipmi/chip.h index fb5d4d921f..4e9d9e1985 100644 --- a/src/drivers/ipmi/chip.h +++ b/src/drivers/ipmi/chip.h @@ -2,7 +2,7 @@ #include -#ifndef _IMPI_CHIP_H_ +#ifndef _IPMI_CHIP_H_ #define _IPMI_CHIP_H_ #include