diff options
-rw-r--r-- | src/build-data/makefile/gmake.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/build-data/makefile/gmake.in b/src/build-data/makefile/gmake.in index cba9e2939..c45cd2940 100644 --- a/src/build-data/makefile/gmake.in +++ b/src/build-data/makefile/gmake.in @@ -38,7 +38,7 @@ $(STATIC_LIB): $(LIBOBJS) $(RANLIB) $(STATIC_LIB) # Fake Targets -.PHONY = clean distclean docs website install +.PHONY = clean distclean docs website install valgrind SPHINX_CONFIG = %{sphinx_config_dir} SPHINX_OPTS = -b html @@ -55,6 +55,9 @@ distclean: clean $(RM_R) %{build_dir} $(RM) botan_all.cpp botan_all.h +valgrind: + valgrind --log-file=botan.%%p.log -v --track-origins=yes --leak-check=full --show-reachable=yes ./botan-test + docs: %{build_doc_commands} |