sanitycheck: error on duplicate board identifier
Error when we have duplicate identifiers in board definition files.
Signed-off-by: Anas Nashif <anas.nashif@intel.com>
diff --git a/scripts/sanity_chk/sanitylib.py b/scripts/sanity_chk/sanitylib.py
index 20f2ae5..21cbf88 100644
--- a/scripts/sanity_chk/sanitylib.py
+++ b/scripts/sanity_chk/sanitylib.py
@@ -2600,6 +2600,9 @@
try:
platform = Platform()
platform.load(file)
+ if platform.name in [p.name for p in self.platforms]:
+ logger.error(f"Duplicate platform {platform.name} in {file}")
+ raise Exception(f"Duplicate platform identifier {platform.name} found")
if platform.sanitycheck:
self.platforms.append(platform)
if platform.default:
