devkitPPC: call destructors

This commit is contained in:
Dave Murphy
2023-09-12 18:27:03 +01:00
parent d051cd518b
commit 032100b82e
2 changed files with 40 additions and 0 deletions

View File

@@ -144,6 +144,7 @@ then
--target=$target \
--prefix=$prefix \
--enable-newlib-mb \
--enable-newlib-register-fini \
|| { echo "Error configuring newlib"; exit 1; }
touch configured-newlib
fi