From 0fb2781c95be3a261fda08e5de4d357fdc90d831 Mon Sep 17 00:00:00 2001
From: Boris Faure <billiob@gmail.com>
Date: Sun, 23 Dec 2018 18:22:49 +0100
Subject: [PATCH] coverage: avoid conflict with other binaries

---
 .circleci/config.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 9f0a2dca..d43fa008 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -47,6 +47,11 @@ jobs:
           cd /terminology
           tests/run_tests.sh -v -t build/src/bin/tytest -r tests/tests.results -d tests/
       - run: |
+          cd /terminology/build/
+          cd src/bin
+          rm -fr *@@terminology@exe *@@tyalpha@exe *@@tybg@exe *@@tycat@exe
+          rm -fr *@@tyfuzz@exe *@@tyls@exe *@@typop@exe *@@tyq@exe
+          rm -fr *@@tysend@exe
           cd /terminology/build/
           bash <(curl -s https://codecov.io/bash)
   build_clang: