diff options
-rw-r--r-- | Makefile.am | 3 | ||||
m--------- | common | 0 |
2 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 29c5f2b2..892d6be1 100644 --- a/Makefile.am +++ b/Makefile.am @@ -51,3 +51,6 @@ DISTCLEANFILES = _stdint.h include $(top_srcdir)/common/release.mak include $(top_srcdir)/common/po.mak + +check-valgrind: + cd check && make check-valgrind diff --git a/common b/common -Subproject 3f8b422d851dc64797cdd97dd7a2014acd75138 +Subproject eac450a673cd1d3a606fe75399d0cd1fcb1d0d7 |