You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems that the command mbed toolchain GCC_ARM modifies (updates the change timestamp) the configuration file (.mbed) even if the value does not change. This can be a problem at least in mbed-os-5 because modifying the file .mbed forces a full recompilation.
Probably first reading the configuration and only updating the file when something actually changed would be a superior behaviour.
It seems that the command
mbed toolchain GCC_ARM
modifies (updates the change timestamp) the configuration file (.mbed
) even if the value does not change. This can be a problem at least in mbed-os-5 because modifying the file.mbed
forces a full recompilation.Probably first reading the configuration and only updating the file when something actually changed would be a superior behaviour.
Related source:
mbed-cli/mbed/mbed.py
Line 3300 in 76c92d0
The text was updated successfully, but these errors were encountered: