aboutsummaryrefslogtreecommitdiff
path: root/TOOLS
diff options
context:
space:
mode:
Diffstat (limited to 'TOOLS')
-rwxr-xr-xTOOLS/patch_configs.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/TOOLS/patch_configs.py b/TOOLS/patch_configs.py
index a1447e0..722a756 100755
--- a/TOOLS/patch_configs.py
+++ b/TOOLS/patch_configs.py
@@ -159,6 +159,10 @@ for file in CONFIG_FILES:
print(f"{file} does not have the right number of segments")
exit(1)
+ if namesegs[0] != "kernel":
+ print(f"{file} does not appear to be a kernel config")
+ exit(1)
+
for file in CONFIG_FILES:
filename = os.path.basename(file)
print(f"Processing {filename}...")