diff options
Diffstat (limited to 'GNUmakefile.in')
| -rw-r--r-- | GNUmakefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile.in b/GNUmakefile.in index 80116a1fbf..40ab2804f7 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -61,9 +61,9 @@ distclean maintainer-clean: # Garbage from autoconf: @rm -rf autom4te.cache/ -check: all +check check-tests: all -check installcheck installcheck-parallel: +check check-tests installcheck installcheck-parallel installcheck-tests: $(MAKE) -C src/test/regress $@ $(call recurse,check-world,src/test src/pl src/interfaces/ecpg contrib,check) |