Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Ignore build directory from scan resources #3852
This is a bug fix for the following bug (Github issue ARMmbed/mbed-cli#437):
If two builds were run specifying a non-default build folder, the second
We fix this bug by ignoring the build directory passed into the tools.