diff options
Diffstat (limited to 'src/create_embedded_tools.py')
| -rw-r--r-- | src/create_embedded_tools.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/create_embedded_tools.py b/src/create_embedded_tools.py index 699edd09f5..8b013cee44 100644 --- a/src/create_embedded_tools.py +++ b/src/create_embedded_tools.py @@ -31,6 +31,8 @@ output_paths = [ ('*tools/jdk/BUILD*', lambda x: 'tools/jdk/BUILD'), ('*tools/platforms/platforms.BUILD', lambda x: 'platforms/BUILD'), ('*tools/platforms/*', lambda x: 'platforms/' + os.path.basename(x)), + ('*tools/build_defs/toolchains/*', + lambda x: 'tools/build_defs/toolchains/' + os.path.basename(x)), ('*JavaBuilder*_deploy.jar', lambda x: 'tools/jdk/' + os.path.basename(x)), ('*JacocoCoverage*_deploy.jar', lambda x: 'tools/jdk/JacocoCoverage_deploy.jar'), |