diff --git a/GNUmakefile.in b/GNUmakefile.in index 15fba9fce0a..97c0d4e69ea 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -63,6 +63,7 @@ distclean maintainer-clean: @rm -rf autom4te.cache/ rm -f config.cache config.log config.status GNUmakefile +check-tests: | temp-install check check-tests installcheck installcheck-parallel installcheck-tests: $(MAKE) -C src/test/regress $@