diff options
Diffstat (limited to 'GNUmakefile.in')
-rw-r--r-- | GNUmakefile.in | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 361897a80b..ba39bf1330 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -62,8 +62,6 @@ distclean maintainer-clean: # Garbage from autoconf: @rm -rf autom4te.cache/ -check check-tests: all - check check-tests installcheck installcheck-parallel installcheck-tests: $(MAKE) -C src/test/regress $@ |