diff options
Diffstat (limited to 'test/regress')
-rw-r--r-- | test/regress/Makefile | 4 | ||||
-rw-r--r-- | test/regress/Makefile.am | 4 | ||||
-rw-r--r-- | test/regress/Makefile.in | 4 |
3 files changed, 12 insertions, 0 deletions
diff --git a/test/regress/Makefile b/test/regress/Makefile index 2946f5217..06fe0f1fb 100644 --- a/test/regress/Makefile +++ b/test/regress/Makefile @@ -2,3 +2,7 @@ topdir = ../.. srcdir = test/regress include $(topdir)/Makefile.subdir + +# synonyms for "check" +.PHONY: regress regress0 regress1 regress2 regress3 test +regress regress0 regress1 regress2 regress3 test: check diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am index c59885975..953db9bfd 100644 --- a/test/regress/Makefile.am +++ b/test/regress/Makefile.am @@ -35,3 +35,7 @@ TESTS = \ wiki.cvc \ logops.cvc \ comb2.shuffled-as.sat03-420.smt + +# synonyms for "check" +.PHONY: regress regress0 regress1 regress2 regress3 test +regress regress0 regress1 regress2 regress3 test: check diff --git a/test/regress/Makefile.in b/test/regress/Makefile.in index 0db9d0004..b194b219f 100644 --- a/test/regress/Makefile.in +++ b/test/regress/Makefile.in @@ -509,6 +509,10 @@ uninstall-am: uninstall uninstall-am +# synonyms for "check" +.PHONY: regress regress0 regress1 regress2 regress3 test +regress regress0 regress1 regress2 regress3 test: check + # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. .NOEXPORT: |