From 1b3462749b064ea46859273ea4670bf6abe414c3 Mon Sep 17 00:00:00 2001
From: Angel Pons <th3fanbus@gmail.com>
Date: Mon, 30 Aug 2021 10:00:31 +0200
Subject: src/*: Specify type of `DIMM_MAX` once

Specify the type of the `DIMM_MAX` Kconfig symbol once.

Change-Id: I2e86baaa8bd50c7b82c399fde5dcea05da6b4307
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/57258
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Tim Crawford <tcrawford@system76.com>
Reviewed-by:  Felix Singer <felixsinger@posteo.net>
---
 src/mainboard/google/hatch/Kconfig | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/mainboard/google/hatch/Kconfig')

diff --git a/src/mainboard/google/hatch/Kconfig b/src/mainboard/google/hatch/Kconfig
index fb48433c4b..6fe44e0282 100644
--- a/src/mainboard/google/hatch/Kconfig
+++ b/src/mainboard/google/hatch/Kconfig
@@ -66,7 +66,6 @@ config DEVICETREE
 	default "variants/baseboard/devicetree.cb"
 
 config DIMM_MAX
-	int
 	default 2
 
 config ROMSTAGE_SPD_CBFS
-- 
cgit v1.2.3