diff options
author | Tom Rini <trini@konsulko.com> | 2019-11-23 20:48:47 -0500 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2019-11-23 20:48:47 -0500 |
commit | c8f2fe4e670c91172540ab36700d7a8411fc6f76 (patch) | |
tree | 9bdd5b00990b9174ce72752f2feda13dbf5c0ff5 /tools | |
parent | 601c2879f8b9b20c8215858db862cde8ba65fd72 (diff) | |
parent | 16540d07fd62f97838950578008301f1639f33fb (diff) |
Merge branch '2019-11-23-master-imports'
- More travis job splits
- Assorted build clean-ups
- Correct optimization flags for some ARMv6 platforms
Diffstat (limited to 'tools')
-rw-r--r-- | tools/buildman/control.py | 2 | ||||
-rwxr-xr-x | tools/moveconfig.py | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/tools/buildman/control.py b/tools/buildman/control.py index 216012d001..c55a65d0c3 100644 --- a/tools/buildman/control.py +++ b/tools/buildman/control.py @@ -201,6 +201,8 @@ def DoBuildman(options, args, toolchains=None, make_func=None, boards=None, # Work out what subset of the boards we are building if not boards: + if not os.path.exists(options.output_dir): + os.makedirs(options.output_dir) board_file = os.path.join(options.output_dir, 'boards.cfg') genboardscfg = os.path.join(options.git, 'tools/genboardscfg.py') status = subprocess.call([genboardscfg, '-o', board_file]) diff --git a/tools/moveconfig.py b/tools/moveconfig.py index e2ff4cfc88..36160a3977 100755 --- a/tools/moveconfig.py +++ b/tools/moveconfig.py @@ -667,8 +667,11 @@ def cleanup_headers(configs, options): if dirpath == os.path.join('include', 'generated'): continue for filename in filenames: - if not fnmatch.fnmatch(filename, '*~'): + if not filename.endswith(('~', '.dts', '.dtsi')): 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': + continue cleanup_one_header(header_path, patterns, options) cleanup_empty_blocks(header_path, options) |