diff options
Diffstat (limited to 'doc/examples/Makefile.in')
| -rw-r--r-- | doc/examples/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/examples/Makefile.in b/doc/examples/Makefile.in index f8af861..5fd6a3a 100644 --- a/doc/examples/Makefile.in +++ b/doc/examples/Makefile.in @@ -707,7 +707,7 @@ install-data-local: -@INSTALL@ -m 0644 $(srcdir)/*.html $(srcdir)/*.c $(srcdir)/*.xml $(srcdir)/*.xsl $(srcdir)/*.res $(DESTDIR)$(HTML_DIR) valgrind: - $(MAKE) CHECKER='valgrind' tests + $(MAKE) CHECKER='valgrind -q' tests tests: $(noinst_PROGRAMS) @(echo '## examples regression tests') |