mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-25 14:33:52 +01:00
* reverted changes from julsch' accidentally commit [tools toolchains build_gnuarm] * fixed toolchain build script for current GCC version
* reverted changes from julsch' accidentally commit [tools toolchains build_gnuarm] * fixed toolchain build script for current GCC version