Searched refs:num_bad (Results 1 – 1 of 1) sorted by relevance
51 num_bad=$(echo "$bad_relocs" | wc -l)52 echo "WARNING: $num_bad bad relocations"