diff options
Diffstat (limited to 'make/libtool.mk')
-rw-r--r-- | make/libtool.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/libtool.mk b/make/libtool.mk index c6cf4e4d..c3af7b9f 100644 --- a/make/libtool.mk +++ b/make/libtool.mk @@ -102,6 +102,7 @@ endef # Usage: $(call makebin,objs,binary,ldflags,libs) define makebin $(LIBTOOL) --mode=link $(CXX) $(CXXFLAGS) $(1) -o $(2) $(4) $(3) + if [ "$(VALGRIND)" = 1 ]; then make/valgrind-wrap $(2); fi endef # Install target |