Builder tweak to improve Mbed CE support - #5250

Builder tweak to improve Mbed CE support#5250

multiplemonomials wants to merge 3 commits into

platformio:developplatformio/platformio-core:developfrom

multiplemonomials:dev/add-mbed-ce-supportmultiplemonomials/platformio-core:dev/add-mbed-ce-supportCopy head branch name to clipboard