bump devkitPPC version

This commit is contained in:
Dave Murphy 2023-04-20 07:42:20 +01:00
parent a048d2e89c
commit 3429d8162f
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 42.1" \
--with-bugurl="https://github.com/devkitpro/buildscripts/issues" --with-pkgversion="devkitPPC release 42.2" \
$CROSS_PARAMS \
$CROSS_GCC_PARAMS \
$EXTRA_GCC_PARAMS \