diff options
Diffstat (limited to 'make/libtool.mk')
-rw-r--r-- | make/libtool.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/make/libtool.mk b/make/libtool.mk index f950929f..98191bdd 100644 --- a/make/libtool.mk +++ b/make/libtool.mk @@ -102,7 +102,6 @@ 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 |