-
Alessandro Rubini authored
This allows the arch-specific Makefile to set CONFIG_NO_PRINTF, it it knows no printf is needed from ppsi (applies to wrpc and bathos). Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
7587706f
This allows the arch-specific Makefile to set CONFIG_NO_PRINTF, it it
knows no printf is needed from ppsi (applies to wrpc and bathos).
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>