From 09f95c6b8f5ae6835d89f8648a9e6a6788f1ebfb Mon Sep 17 00:00:00 2001
From: Milo Davis <davis.mil@husky.neu.edu>
Date: Mon, 11 Sep 2017 15:15:48 +0200
Subject: [PATCH] Test: git ignores test log files

---
 .dockerignore | 1 +
 .gitignore    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.dockerignore b/.dockerignore
index 6b40b41f4..d71f9e407 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -25,6 +25,7 @@ src/client/embedded/alpha/concrete_parser.mli
 
 test/reports
 test/**/test-*
+test/LOG.*
 
 **/*~
 **/\#*\#
diff --git a/.gitignore b/.gitignore
index 5dc9c2aa5..0a6c74607 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,8 +21,8 @@
 /src/client/embedded/alpha/concrete_parser.mli
 
 /test/reports
-
 /test/*/test-*
+/test/LOG.*
 
 .depend