Max Horn 4dd4cf8bc0 DS: Remove references to DEVKITARM
In some places we used $DEVKITARM, but in others we hardcode the path
$DEVKITPRO/devkitARM. To ensure consistent behavior, I changed it to the
latter everywhere for now. Should it turn out that we really want to
have this flexible, we can reintroduce $DEVKITARM in a proper way. In
that case, we could augment configure to set DEVKITARM to
$DEVKITPRO/devkitARM, if it has not been set yet.
2011-05-03 13:22:00 +02:00
..
2011-05-03 13:22:00 +02:00
2011-04-29 14:08:49 +03:00