diff options
Diffstat (limited to '.tools/testxml.sh')
| -rwxr-xr-x | .tools/testxml.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.tools/testxml.sh b/.tools/testxml.sh index c813ef86..13985d46 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 |grep -v "Checking" >../../clientdata/shared/error.log +./testxml.py stfu >../../clientdata/shared/error.log res="$?" cat ../../clientdata/shared/error.log if [ "$res" != 0 ]; then |