update devkitPPC to gcc 4.7.1 and gdb 7.4.1

This commit is contained in:
Dave Murphy
2012-12-16 00:09:39 +00:00
parent 93040254e6
commit 71c4499626
6 changed files with 44 additions and 45 deletions

View File

@@ -87,7 +87,7 @@ then
--with-headers=../../newlib-$NEWLIB_VER/newlib/libc/include \
--prefix=$prefix\
--disable-dependency-tracking \
--with-bugurl="http://wiki.devkitpro.org/index.php/Bug_Reports" --with-pkgversion="devkitPPC release 26" \
--with-bugurl="http://wiki.devkitpro.org/index.php/Bug_Reports" --with-pkgversion="devkitPPC release 27" \
$CROSS_PARAMS \
|| { echo "Error configuring gcc stage 1"; exit 1; }
touch configured-gcc