From: NeilBrown <neil@brown.name>
Date: Sun, 16 Jun 2019 01:35:00 +0000 (+1000)
Subject: gitignore - add coverage_scanner
X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=commitdiff_plain;h=90aaea435aa10b9bae120a0ff594e36f239018c1

gitignore - add coverage_scanner

This is a tmp file - should have been ignored before.

Signed-off-by: NeilBrown <neil@brown.name>
---

diff --git a/csrc/.gitignore b/csrc/.gitignore
index f8a607b..5deb8a5 100644
--- a/csrc/.gitignore
+++ b/csrc/.gitignore
@@ -8,6 +8,7 @@ scanner
 calc
 oceani
 coverage_oceani
+coverage_scanner
 coverage/
 itest*
 *.cgm