I've noticed that the file platform.local.txt is not considered when detecting toolchains. For example create the file
~/.arduino15/packages/arduino/hardware/mbed_nano/2.5.2/platform.local.txt with the content:
compiler.path=/usr/bin/
if you compile your code with "make VERBOSE=1" you can see that still the original compiler is used, located somewhere else, instead of the one in /usr/bin/
I've noticed that the file platform.local.txt is not considered when detecting toolchains. For example create the file
~/.arduino15/packages/arduino/hardware/mbed_nano/2.5.2/platform.local.txt
with the content:compiler.path=/usr/bin/
if you compile your code with "make VERBOSE=1" you can see that still the original compiler is used, located somewhere else, instead of the one in /usr/bin/