diff options
Diffstat (limited to 'util/config_option_check.py')
| -rwxr-xr-x | util/config_option_check.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/util/config_option_check.py b/util/config_option_check.py index ea681a2787..95bb72a1f6 100755 --- a/util/config_option_check.py +++ b/util/config_option_check.py @@ -92,6 +92,9 @@ def obtain_config_options_in_use(): if 'private' in dirnames: dirnames.remove('private') for f in filenames: + # Ignore hidden files. + if f.startswith('.'): + continue # Only consider C source, assembler, and Make-style files. if (os.path.splitext(f)[1] in ('.c', '.h', '.inc', '.S', '.mk') or 'Makefile' in f): |