diff options
Diffstat (limited to 'GNUmakefile.in')
| -rw-r--r-- | GNUmakefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 15fba9fce0..97c0d4e69e 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 $@ |