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 3e85c54af..f328f3b60 100644 --- a/Makefile.am +++ b/Makefile.am @@ -10,3 +10,6 @@ EXTRA_DIST = \ DISTCLEANFILES = _stdint.h include $(top_srcdir)/common/release.mak + +check-valgrind: + @true diff --git a/common b/common -Subproject 00cc4f5af95a15be55b8c1b3eed09f4738412f9 +Subproject 13022c3cb4558d201e2ddf3e65d2e36b16eedc4 |