diff options
author | Andrei Pavel <andrei@isc.org> | 2024-03-21 15:35:38 +0100 |
---|---|---|
committer | Andrei Pavel <andrei@isc.org> | 2024-03-21 17:00:16 +0100 |
commit | 8c5a46e49d22bc8b397254e680fb70d14bdd00c6 (patch) | |
tree | 9ffd6d02007132a9d32f20e6507fe561c9151170 | |
parent | [#3267] cosmetic changes to find headers script (diff) | |
download | kea-8c5a46e49d22bc8b397254e680fb70d14bdd00c6.tar.xz kea-8c5a46e49d22bc8b397254e680fb70d14bdd00c6.zip |
[#3267] fix find header script not finding files
Script did not find files that are on the same line as the _HEADERS
variable.
-rwxr-xr-x | tools/find-uninstalled-headers.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/find-uninstalled-headers.py b/tools/find-uninstalled-headers.py index 5963af6e57..2b934b59fc 100755 --- a/tools/find-uninstalled-headers.py +++ b/tools/find-uninstalled-headers.py @@ -32,12 +32,12 @@ def main(): header = None + backslash_matches = backslash_pattern.search(line) headers_matches = headers_pattern.search(line) if headers_matches is None: if not in_headers_block: continue - backslash_matches = backslash_pattern.search(line) if backslash_matches is None: header = line in_headers_block = False @@ -45,8 +45,9 @@ def main(): header = backslash_matches.group(1) else: in_headers_block = True - if '\\' in headers_matches.group(2) and len(headers_matches.group(1)) != 0: - header = headers_matches.group(1) + candidate = headers_matches.group(1) + if backslash_matches is None and len(candidate): + header = candidate if header is not None: relative_path = makefile_am.parent / header.strip() |