devkitPPC: update version

This commit is contained in:
Dave Murphy 2023-04-19 09:15:33 +01:00
parent 6a2cfec336
commit 94cabdf12a
No known key found for this signature in database
GPG Key ID: F7FD5492264BB9D0

View File

@ -101,7 +101,7 @@ then
--with-newlib \
--with-headers=../../newlib-$NEWLIB_VER/newlib/libc/include \
--prefix=$prefix \
--with-bugurl="https://github.com/devkitpro/buildscripts/issues" --with-pkgversion="devkitPPC release 41" \
--with-bugurl="https://github.com/devkitpro/buildscripts/issues" --with-pkgversion="devkitPPC release 42.1" \
$CROSS_PARAMS \
$CROSS_GCC_PARAMS \
$EXTRA_GCC_PARAMS \