diff options
Diffstat (limited to 'scripts/check-wrapper-headers.py')
| -rw-r--r-- | scripts/check-wrapper-headers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/check-wrapper-headers.py b/scripts/check-wrapper-headers.py index dc9fd86063..bae99c14c7 100644 --- a/scripts/check-wrapper-headers.py +++ b/scripts/check-wrapper-headers.py @@ -76,7 +76,7 @@ def check_headers(args): is_nonsysdep_header = os.access(header, os.R_OK) if is_nonsysdep_header: # Skip Fortran header files. - if '/finclude/' in header: + if header.startswith("finclude/"): continue include_path = os.path.join(args.root, INCLUDE, header) |