mirror of https://github.com/ARMmbed/mbed-os.git
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. |
||
---|---|---|
.. | ||
build_api_test.py |