|
This evidently reveals a bug where the printf 'out' skipper is
erroneously trying to prune printf.c:_out_buffer, but was failing to
do so because it was mixing up qualified vs base names. But now it's
"succeeding" and erroneously removing _out_buffer. I'll fix this in a
later commit. This didn't affect stack totals (because it was dwarfed
by the pico_stdio fct).
|