Commit 4c16bad8 authored by Alessandro Rubini's avatar Alessandro Rubini

Makefile: enable 64-bit pp_printf

Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
parent e8c298ba
......@@ -61,7 +61,8 @@ ifndef CONFIG_NO_PRINTF
OBJ-y += pp_printf/pp-printf.o
pp_printf/pp-printf.o: $(wildcard pp_printf/*.[ch])
$(MAKE) -C pp_printf pp-printf.o CC="$(CC)" LD="$(LD)"
$(MAKE) -C pp_printf pp-printf.o CC="$(CC)" LD="$(LD)" \
CONFIG_PRINTF_64BIT=y
endif
# We need this -I so <arch/arch.h> can be found
......
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