Searched refs:warning_num (Results 1 – 1 of 1) sorted by relevance
73 warning_num=`grep -i -w -e warning ${TMP_MESSAGES} | wc -l`85 echo " Warning: $warning_num"118 if [[ $warning_num != 0 ]] ; then