From 225412d081651047136d78bfdfc2b408c29c6704 Mon Sep 17 00:00:00 2001
From: Gianluca Arbezzano <gianarb92@gmail.com>
Date: Thu, 12 Jan 2017 00:00:02 +0100
Subject: [PATCH] Put coverage files in gitignore

```
23:59 $ git status
On branch master
Your branch is up-to-date with 'origin/master'.
Untracked files:
(use "git add <file>..." to include in what will be committed)

    events/coverage.txt
    gc/coverage.txt
    log/coverage.txt
    snapshot/coverage.txt

```

I run `make coverage` and I just noticed that all generated files are
not in gitignore.

Signed-off-by: Gianluca Arbezzano <ga@thumpflow.com>
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ae3c172..083ecd9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /bin/
+*/coverage.txt