From 2fe4dd5ee0974ce1a639b5cd5f0ad156b51685c0 Mon Sep 17 00:00:00 2001
From: Jesusaves <cpntb1@ymail.com>
Date: Fri, 24 Apr 2020 13:18:06 -0300
Subject: Pipelines got useless, change their rule to omit useless stuff and
 try to make 'em useful.

---
 .tools/testxml.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.tools/testxml.sh')

diff --git a/.tools/testxml.sh b/.tools/testxml.sh
index 7296f759..c813ef86 100755
--- a/.tools/testxml.sh
+++ b/.tools/testxml.sh
@@ -22,7 +22,7 @@ if [[ -n "${RES}" ]]; then
 fi
 
 echo >../../clientdata/shared/error.log
-./testxml.py silent >../../clientdata/shared/error.log
+./testxml.py silent |grep -v "Checking" >../../clientdata/shared/error.log
 res="$?"
 cat ../../clientdata/shared/error.log
 if [ "$res" != 0 ]; then
-- 
cgit v1.2.3-60-g2f50