Commit 6cd04b91 authored by Alessandro Rubini's avatar Alessandro Rubini

Makefile: pick div64.o and always avoid libgcc divisions

Signed-off-by: Alessandro Rubini's avatarAlessandro Rubini <rubini@gnudd.com>
parent dd4410d4
......@@ -92,7 +92,12 @@ include pp_printf/printf.mk
include dev/dev.mk
include softpll/softpll.mk
obj-$(CONFIG_WR_NODE) += check-error.o
# ppsi already has div64 (the same one), so only pick it if not using ppsi
ifndef CONFIG_PPSI
obj-y += pp_printf/div64.o
endif
# And always complain if we pick the libgcc division: 64/32 = 32 is enough here.
obj-y += check-error.o
obj-$(CONFIG_WR_NODE) += sdb-lib/libsdbfs.a
cflags-$(CONFIG_WR_NODE) += -Isdb-lib
......
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