That all sounds right to me I think?
provision.sh just checks that there's a gcc-arm-none-eabi on the path, not which version it is.
Since provision.sh is expecting that GCC won't be installed, it adds it to the end of the path by default - so if it was previously installed and you ran the old code manually then the old one would have ended up being used.
© Espruino, powered by microcosm.
Report a problem