From d6c236a5b121998f6cd3741e8bd790637f09c9ec Mon Sep 17 00:00:00 2001
From: Fabio Manganiello <info@fabiomanganiello.com>
Date: Sat, 27 Feb 2021 20:57:59 +0100
Subject: [PATCH] Don't redirect grep output to /dev/null, otherwise we lose
 reference of the tests log

---
 bin/run_ci_tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/run_ci_tests.sh b/bin/run_ci_tests.sh
index dd0a08a..be0291f 100755
--- a/bin/run_ci_tests.sh
+++ b/bin/run_ci_tests.sh
@@ -32,7 +32,7 @@ run_tests() {
 }
 
 check_test_results() {
-    failed_tests=$(grep -e '^FAILED' "$TEST_LOG" >/dev/null)
+    failed_tests=$(grep -e '^FAILED' "$TEST_LOG")
     ret=0
 
     if [[ ! -z "$failed_tests" ]]; then