10 files changed, 27 insertions, 12 deletions
diff --git a/test/regress/.gitignore b/test/regress/.gitignore
new file mode 100644
index 000000000..f39e98071
--- /dev/null
+++ b/test/regress/.gitignore
@@ -0,0 +1,2 @@
+/.deps
+/Makefile.in
diff --git a/test/regress/regress0/.gitignore b/test/regress/regress0/.gitignore
new file mode 100644
index 000000000..f39e98071
--- /dev/null
+++ b/test/regress/regress0/.gitignore
@@ -0,0 +1,2 @@
+/.deps
+/Makefile.in
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 29141d633..eb07b22fb 100644
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -1,22 +1,23 @@
 SUBDIRS = precedence uf
 
 TESTS_ENVIRONMENT = @srcdir@/../run_regression @top_builddir@/../../bin/cvc4
-TESTS =	bug32.cvc \
+TESTS =	\
     distinct.smt \
     flet.smt \
     flet2.smt \
-	hole6.cvc \
 	let.smt \
 	let2.smt \
+	simple2.smt \
+	simple.smt \
+	simple-uf.smt \
+    bug32.cvc \
+	hole6.cvc \
 	logops.01.cvc \
 	logops.02.cvc \
 	logops.03.cvc \
 	logops.04.cvc \
 	logops.05.cvc \
-	simple2.smt \
 	simple.cvc \
-	simple.smt \
-	simple-uf.smt \
 	smallcnf.cvc \
 	test11.cvc \
 	test9.cvc \
@@ -42,7 +43,7 @@ TESTS =	bug32.cvc \
 	wiki.19.cvc \
 	wiki.20.cvc \
 	wiki.21.cvc
-
+	
 # synonyms for "check"
 .PHONY: regress regress0 test
 regress regress0 test: check
diff --git a/test/regress/regress0/precedence/.gitignore b/test/regress/regress0/precedence/.gitignore
new file mode 100644
index 000000000..10a7e8d6c
--- /dev/null
+++ b/test/regress/regress0/precedence/.gitignore
@@ -0,0 +1 @@
+/Makefile.in
diff --git a/test/regress/regress0/precedence/Makefile.am b/test/regress/regress0/precedence/Makefile.am
index 36722b81b..0b4fcd4a6 100644
--- a/test/regress/regress0/precedence/Makefile.am
+++ b/test/regress/regress0/precedence/Makefile.am
@@ -1,5 +1,6 @@
 TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/../../bin/cvc4
-TESTS =	iff-implies.cvc \
+TESTS = \
+    iff-implies.cvc \
 	implies-iff.cvc \
 	implies-or.cvc \
 	or-implies.cvc \
diff --git a/test/regress/regress0/uf/.gitignore b/test/regress/regress0/uf/.gitignore
new file mode 100644
index 000000000..10a7e8d6c
--- /dev/null
+++ b/test/regress/regress0/uf/.gitignore
@@ -0,0 +1 @@
+/Makefile.in
diff --git a/test/regress/regress0/uf/Makefile.am b/test/regress/regress0/uf/Makefile.am
index b456f2809..ec99fd45c 100644
--- a/test/regress/regress0/uf/Makefile.am
+++ b/test/regress/regress0/uf/Makefile.am
@@ -1,8 +1,5 @@
 TESTS_ENVIRONMENT = @srcdir@/../../run_regression @top_builddir@/../../bin/cvc4
-TESTS =	simple.01.cvc \
-	simple.02.cvc \
-	simple.03.cvc \
-	simple.04.cvc \
+TESTS =	\
 	euf_simp01.smt \
 	euf_simp02.smt \
 	euf_simp03.smt \
@@ -17,7 +14,11 @@ TESTS =	simple.01.cvc \
 	euf_simp13.smt \
 	dead_dnd002.smt \
 	iso_brn001.smt \
-	SEQ032_size2.smt
+	SEQ032_size2.smt \
+    simple.01.cvc \
+    simple.02.cvc \
+    simple.03.cvc \
+    simple.04.cvc
 
 # synonyms for "check"
 .PHONY: regress regress0 test
diff --git a/test/regress/regress1/.gitignore b/test/regress/regress1/.gitignore
new file mode 100644
index 000000000..f39e98071
--- /dev/null
+++ b/test/regress/regress1/.gitignore
@@ -0,0 +1,2 @@
+/.deps
+/Makefile.in
diff --git a/test/regress/regress2/.gitignore b/test/regress/regress2/.gitignore
new file mode 100644
index 000000000..f39e98071
--- /dev/null
+++ b/test/regress/regress2/.gitignore
@@ -0,0 +1,2 @@
+/.deps
+/Makefile.in
diff --git a/test/regress/regress3/.gitignore b/test/regress/regress3/.gitignore
new file mode 100644
index 000000000..f39e98071
--- /dev/null
+++ b/test/regress/regress3/.gitignore
@@ -0,0 +1,2 @@
+/.deps
+/Makefile.in