diff options
Diffstat (limited to 'test/regress/regress0/precedence/Makefile.am')
| -rw-r--r-- | test/regress/regress0/precedence/Makefile.am | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/test/regress/regress0/precedence/Makefile.am b/test/regress/regress0/precedence/Makefile.am index 1afcc0293..096237106 100644 --- a/test/regress/regress0/precedence/Makefile.am +++ b/test/regress/regress0/precedence/Makefile.am @@ -21,8 +21,8 @@ MAKEFLAGS = -k TESTS = \ and-xor.cvc \ and-not.cvc \ - bool-cmp.cvc \ - cmp-plus.cvc \ + bool-cmp.cvc \ + cmp-plus.cvc \ eq-fun.cvc \ iff-assoc.cvc \ iff-implies.cvc \ @@ -31,7 +31,7 @@ TESTS = \ implies-or.cvc \ not-and.cvc \ not-eq.cvc \ - plus-mult.cvc \ + plus-mult.cvc \ or-implies.cvc \ or-xor.cvc \ xor-or.cvc \ @@ -55,5 +55,5 @@ EXTRA_DIST = $(TESTS) regress regress0 test: check # do nothing in this subdir -.PHONY: regress1 regress2 regress3 -regress1 regress2 regress3: +.PHONY: regress1 regress2 regress3 regress4 +regress1 regress2 regress3 regress4: |