ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #6968 from theotherjimmy/test-relpath 

Test build: Reduce include command length
pull/6993/head
Cruz Monrreal 2018-05-23 14:47:58 -05:00 committed by GitHub
parent a404a9379e 3e7fd9e0f0
commit 99df848e1c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 17 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tools/test.py
View File

@ -228,7 +228,12 @@ if __name__ == '__main__':
else: else:
# Build all the tests # Build all the tests
notify = TerminalNotifier(options.verbose) notify = TerminalNotifier(options.verbose)
test_build_success, test_build = build_tests(tests, [options.build_dir], options.build_dir, mcu, toolchain, test_build_success, test_build = build_tests(
tests,
[os.path.relpath(options.build_dir)],
options.build_dir,
mcu,
toolchain,
clean=options.clean, clean=options.clean,
report=build_report, report=build_report,
properties=build_properties, properties=build_properties,