diff --git a/Makefile.am b/Makefile.am index 7a3dc816fd..697ce342f7 100644 --- a/Makefile.am +++ b/Makefile.am @@ -87,13 +87,13 @@ DISTCHECK_CONFIGURE_FLAGS = ${DISTCHECK_FLAGS} \ distcheck-light: +$(MAKE) $(AM_MAKEFLAGS) DISTCHECK_FLAGS="$(DISTCHECK_LIGHT_FLAGS)" distcheck +distcheck-light-man: + +$(MAKE) $(AM_MAKEFLAGS) DISTCHECK_FLAGS="$(DISTCHECK_LIGHT_MAN_FLAGS)" distcheck + # Make a distcheck (and check in particular) with enabled valgrind and debug info memcheck distcheck-valgrind: +$(MAKE) $(AM_MAKEFLAGS) DISTCHECK_FLAGS="$(DISTCHECK_VALGRIND_FLAGS)" distcheck -distcheck-light-man: - +$(MAKE) $(AM_MAKEFLAGS) DISTCHECK_FLAGS="$(DISTCHECK_LIGHT_MAN_FLAGS)" distcheck - # workaround the dist generated files that are also part of the distribution # Note that distcleancheck is disabled for now, while waiting for a proper # solution, that do not break older unix systems