diff options
Diffstat (limited to 'tools/moveconfig.py')
| -rwxr-xr-x | tools/moveconfig.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/moveconfig.py b/tools/moveconfig.py index 1ac30c0028..41dd803c4e 100755 --- a/tools/moveconfig.py +++ b/tools/moveconfig.py @@ -679,7 +679,7 @@ def cleanup_headers(configs, options): continue for filename in filenames: if not filename.endswith(('~', '.dts', '.dtsi', '.bin', - '.elf')): + '.elf','.aml','.dat')): header_path = os.path.join(dirpath, filename) # This file contains UTF-16 data and no CONFIG symbols if header_path == 'include/video_font_data.h': |