From 90cd2a2c2d131778a858f928c119f1bb329cd758 Mon Sep 17 00:00:00 2001
From: Millian Poquet <millian.poquet@inria.fr>
Date: Fri, 31 Aug 2018 17:55:55 +0200
Subject: [PATCH] Revert "[ci] analyze-coverage: debug print"

This reverts commit bcc2dc53c72f99b3655582bb90768594fa230706.
---
 ci/analyze-coverage.bash | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ci/analyze-coverage.bash b/ci/analyze-coverage.bash
index 2f5785e..6422ee4 100755
--- a/ci/analyze-coverage.bash
+++ b/ci/analyze-coverage.bash
@@ -1,6 +1,6 @@
 #!/usr/bin/env nix-shell
 #! nix-shell . -i bash -A test_deps_pinned
-set -eux
+set -eu
 
 echo "Prepare directories"
 rm -rf ./cover
@@ -10,7 +10,7 @@ cd ./cover/tmp
 echo "Call gcov"
 gcov_files=$(find ../../build -name '*.gcda')
 for gcov_file in ${gcov_files[@]}; do
-    gcov ${gcov_file}
+    gcov ${gcov_file} 1>/dev/null 2>&1
 done
 
 echo "Only keep interesting files"
@@ -18,7 +18,7 @@ interesting_sources=$(find ../../src -name '*.?pp' | sort | grep -v 'pempek_asse
 set +e
 for interesting_source in ${interesting_sources[@]}; do
     interesting_file="./$(basename ${interesting_source}).gcov"
-    cp -f ${interesting_file} ../
+    cp -f ${interesting_file} ../ 2>/dev/null
 done
 set -e
 
-- 
GitLab