Platformio builds mbed sources twice while debugging

Development Platforms
,
7

EDIT 16/08/2023:

Please be aware that this response is now deprecated, as PIO now support natively .mbedignore files. More info here.

If you are looking for a working .mbedignore for Mbed 6.17, try this one.

OLD RESPONSE

By the way, not related to this specific issue, but regarding MBED framework build time: you can reduce it, using a script originally made by @KKoovalsky which apply a .mbedignore file inside mbed-framework folder from a PIO project.

  • Download this fork.
  • Copy mbedignore_examples/PIO_MBED_6.6/.mbedignore file to the root of your PIO project.
  • Copy mbedignore.py script to the root of your PIO project.
  • Edit your platformio.ini and add this line:
extra_scripts = pre:mbedignore.py

That should reduce the build time. Check the README for more info. You may need to edit the .mbedignore file if you want to skip other components during the build.

Another option, if you don’t need MBED RTOS, you can just use MBED 6 bare metal profile, see this response.

3 Likes