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

Correct Bug

pull/6999/head
PHST 2018-05-23 16:19:14 +02:00
parent b9217d6be0
commit af1e482f52
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/toolchains/__init__.py
View File

@ -433,7 +433,7 @@ class mbedToolchain:
self.build_all = False
# Build output dir
self.build_dir = path.abspath(build_dir) if PRINT_COMPILER_OUTPUT_AS_LINK else build_dir
self.build_dir = abspath(build_dir) if PRINT_COMPILER_OUTPUT_AS_LINK else build_dir
self.timestamp = time()
# Number of concurrent build jobs. 0 means auto (based on host system cores)