diff options
Diffstat (limited to 'TOOLS/patch_configs.py')
| -rwxr-xr-x | TOOLS/patch_configs.py | 4 |
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}...") |