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

Correct percent printing

pull/2859/head
Jimmy Brisson 2016-09-28 16:15:03 -05:00
parent dd54f7bf43
commit e2b248a4aa
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/toolchains/__init__.py
View File

@ -760,6 +760,7 @@ class mbedToolchain:
'chroot': self.CHROOT 'chroot': self.CHROOT
}) })
else: else:
self.compiled += 1
objects.append(object) objects.append(object)
# Use queues/multiprocessing if cpu count is higher than setting # Use queues/multiprocessing if cpu count is higher than setting