diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-03-21 16:51:56 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-21 16:51:56 -0700 |
commit | 6a0b4c3c4c77aa1bdd1a44c41d4c3ad9c88d9307 (patch) | |
tree | 8d4f4ebeb7971bbb02f0404e56f9979a3a13f599 /test/regress/Makefile.am | |
parent | bdba2bf65eb2f68daa1a5e488c4e50f5dac1b312 (diff) |
Fix 'make regress' (#1683)
Commit b8db52f9bad5b1053810c93f0067de8423349da3 removed the option to do "make regress" (I only tested with "make regressX" and "make check"). This commit reenables "make regress".
Diffstat (limited to 'test/regress/Makefile.am')
-rw-r--r-- | test/regress/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am index cd245f3e6..e1a3d7e7f 100644 --- a/test/regress/Makefile.am +++ b/test/regress/Makefile.am @@ -22,7 +22,9 @@ endif MAKEFLAGS = -k export VERBOSE = 1 -.PHONY: regress0 regress1 regress2 regress3 regress4 +.PHONY: regress regress0 regress1 regress2 regress3 regress4 + +regress: regress1 regress0: REGRESSION_LEVEL=0 $(MAKE) check |