Commit 5c81a1b8 authored by Alessandro Rubini's avatar Alessandro Rubini

MAKEALL: build twice only, one with all logs

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's avatarAlessandro Rubini <rubini@gnudd.com>
parent 462a3662
......@@ -15,9 +15,12 @@ build_one () {
build_diags () {
msg="arch \"$ARCH\", ext \"$PROTO_EXT\""
build_one "$msg, printf none" CONFIG_PRINTF_NONE=y
# only build xint, we know pp_printf works
unset USER_CFLAGS
build_one "$msg, printf xint" CONFIG_PRINTF_XINT=y
build_one "$msg, printf full" CONFIG_PRINTF_FULL=y
# then build with all diagnostics, and default printf
export USER_CFLAGS="-DVERB_LOG_MSGS -DCONFIG_PPSI_RUNTIME_VERBOSITY"
build_one "$msg, all messages"
}
build_ext () {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment