diff --git a/ci/check-tests.sh b/ci/check-tests.sh
index f7fa3f9a4..25f7efd8b 100755
--- a/ci/check-tests.sh
+++ b/ci/check-tests.sh
@@ -38,10 +38,10 @@ echo "checking files:"
 ls "${1}"*.log
 
 # check for patterns
-NUM_PASSED=`grep -s "SUCCESS"  ${1}*.log | wc -l`
-NUM_FAILED=`grep -s "FAILED"   ${1}*.log | wc -l`
-NUM_FATAL=`grep  -s "Fatal:"   ${1}*.log | wc -l`
-NUM_ERROR=`grep  -s "Error:"   ${1}*.log | wc -l`
+NUM_PASSED=`grep -i -s "SUCCESS"  ${1}*.log | wc -l`
+NUM_FAILED=`grep -i -s "FAILED"   ${1}*.log | wc -l`
+NUM_FATAL=`grep  -i -s "Fatal:"   ${1}*.log | wc -l`
+NUM_ERROR=`grep  -i -s "Error:"   ${1}*.log | wc -l`
 
 echo "NUM_TOTAL:  $NUM_TOTAL"
 echo "NUM_PASSED: $NUM_PASSED"