diff options
| author | Jan200101 <sentrycraft123@gmail.com> | 2023-11-27 15:48:22 +0100 |
|---|---|---|
| committer | Jan200101 <sentrycraft123@gmail.com> | 2023-11-27 15:48:22 +0100 |
| commit | 6d1c932b1ab6892c861ea92d93914a175e187b08 (patch) | |
| tree | 2b9d6675851fb31d1a3386d217bc24df8c4cc82c /TOOLS/patch_configs.py | |
| parent | fd2abdd6bc1d035b90c0b5238bdc097461bc87ab (diff) | |
| download | kernel-fsync-6.5.tar.gz kernel-fsync-6.5.zip | |
kernel 6.5.126.5
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}...") |