diff options
| author | Simon Glass | 2020-08-11 11:23:34 -0600 |
|---|---|---|
| committer | Tom Rini | 2020-08-23 13:43:10 -0400 |
| commit | a38cc1726b65e63e77724c8bf4aa449cfe5cf21f (patch) | |
| tree | d9109540cd63cbbfcdbadbef1cab551e6ab51f7a /tools | |
| parent | a7fc1e12ad970c2c02b2728b23ae26008f55c9db (diff) | |
moveconfig: Skip binary and ELF files
Add a few more file extensions to the list of files that should not be
processed. This avoids unicode errors, for example.
Signed-off-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/moveconfig.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/moveconfig.py b/tools/moveconfig.py index 36361f9ed1b..9514d9a00cb 100755 --- a/tools/moveconfig.py +++ b/tools/moveconfig.py @@ -666,7 +666,8 @@ def cleanup_headers(configs, options): if dirpath == os.path.join('include', 'generated'): continue for filename in filenames: - if not filename.endswith(('~', '.dts', '.dtsi')): + if not filename.endswith(('~', '.dts', '.dtsi', '.bin', + '.elf')): 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': |