gcc 4.3.2 components on devkitARM r25 for Linux

[jalvarez]

devkitARM r25 for Linux is based on gcc 4.3.3 but contains some gcc 4.3.2 library and include directories:

devkitARM/libexec/gcc/arm-eabi/4.3.2
devkitARM/arm-eabi/include/c++/4.3.2
devkitARM/lib/gcc/arm-eabi/4.3.2

Are these directories required for compatibility? They take close to 24 MBs after unpacking so it would be preferable if they could be removed.

Thanks.

[WinterMute]

Oops, sorry about that, looks like I forgot to delete the old toolchain before rolling the release. I'll be sure to correct this in the next release, r26 is on the way.

[jalvarez]

No problem. It is easy to remove them manually.

Thanks for maintaining the devkitARM toolchain under Linux. It works quite well for embedded applications including eLua, bootloaders and many others. It evens builds the ARM Linux kernel flawlessly.