diff options
-rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index de382c8b6..de17a2172 100644 --- a/Makefile.am +++ b/Makefile.am @@ -13,3 +13,6 @@ DISTCHECK_CONFIGURE_FLAGS = --enable-gtk-doc --disable-debug dist-hook: chmod u+w ${distdir}/ChangeLog if test -d _darcs; then darcs changes >${distdir}/ChangeLog; fi + +check-extra: check + make -C tests check-extra |