include new regression directories in summary test output

diff --git a/test/Makefile.am b/test/Makefile.am
index f9f15035813cd25a8666ce0da894714f8b4add80..014aecc43bcf9c819fc3ab3315c5a0e6eb4a551c 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -46,6 +46,8 @@ subdirs_to_check = \
        regress/regress0/rewriterules \
        regress/regress0/lemmas \
        regress/regress0/push-pop \
+       regress/regress0/push-pop/arith \
+       regress/regress0/push-pop/boolean \
        regress/regress0/precedence \
        regress/regress0/preprocess \
        regress/regress0/unconstrained \