diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 20d6298f4..bade9cd15 100644 --- a/Makefile.am +++ b/Makefile.am @@ -16,3 +16,7 @@ production debug default competition: else \ ./configure --with-build=$@ $(CONFARGS) && $(MAKE); \ fi + +.PHONY: regress0 regress1 regress2 regress3 +regress0 regress1 regress2 regress3: + (cd test && $(MAKE) $(AM_MAKEFLAGS) $@) || exit 1 |