-
Alessandro Rubini authored
Actually, there's no need to build with three pp_printf any more: we know pp_printf is sound. So let's just print once with "xint" pp_printf and once with all messages activated, so see the worst size we get to. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
5c81a1b8