diff options
Diffstat (limited to 'deps/Makefile')
| -rw-r--r-- | deps/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/deps/Makefile b/deps/Makefile index 96dbb8c1d..c0dc71120 100644 --- a/deps/Makefile +++ b/deps/Makefile @@ -40,6 +40,7 @@ distclean: -(cd lua && $(MAKE) clean) > /dev/null || true -(cd jemalloc && [ -f Makefile ] && $(MAKE) distclean) > /dev/null || true -(cd hdr_histogram && $(MAKE) clean) > /dev/null || true + -(cd fpconv && $(MAKE) clean) > /dev/null || true -(rm -f .make-*) .PHONY: distclean @@ -66,6 +67,12 @@ hdr_histogram: .make-prerequisites .PHONY: hdr_histogram +fpconv: .make-prerequisites + @printf '%b %b\n' $(MAKECOLOR)MAKE$(ENDCOLOR) $(BINCOLOR)$@$(ENDCOLOR) + cd fpconv && $(MAKE) + +.PHONY: fpconv + ifeq ($(uname_S),SunOS) # Make isinf() available LUA_CFLAGS= -D__C99FEATURES__=1 |