mirror of https://github.com/ARMmbed/mbed-os.git
fbb6f71be8
This is a bug fix for the following bug (Github issue #437): If two builds were run specifying a non-default build folder, the second build would fail to link with duplicate symbols and may not fit on the device. The root of this problem is that these non-default build folders are not ignored by scan-resources, and therefore included in the build. We fix this bug by ignoring the build directory passed into the tools. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| arm.py | ||
| gcc.py | ||
| iar.py | ||