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

Update test.py

pull/9652/head
Oren Cohen 2019-02-11 10:38:41 +02:00 committed by GitHub
parent 0ca2615a72
commit 6fa47bdb23
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/test.py
View File

@ -214,7 +214,7 @@ if __name__ == '__main__':
args_error(parser, "argument --build is required") args_error(parser, "argument --build is required")
if mcu_secured and not is_relative_to_root(options.source_dir): if mcu_secured and not is_relative_to_root(options.source_dir):
options.source_dir = ROOT base_source_paths = ROOT
else: else:
base_source_paths = options.source_dir base_source_paths = options.source_dir