Dave Murphy df5a8f947a updates for devkitPPC r32

2018-07-03 09:37:08 +01:00

..

build-gcc.sh

updates for devkitPPC r32

2018-07-03 09:37:08 +01:00

build-libs.sh

build libraries when enabled

2018-06-06 03:03:26 +01:00

build-tools.sh

use right prefix for tools

2018-06-06 03:00:46 +01:00