Searched refs:num_errors (Results 1 – 1 of 1) sorted by relevance
5 num_errors=016 num_errors=$(($num_errors + 1))36 num_errors=$(($num_errors + 1))56 num_errors=$(($num_errors + 1))76 if [ $num_errors -gt 0 ]; then77 echo "FAILURE: Detected $num_errors error(s)."
Completed in 3 milliseconds