Searched refs:new_symbol_count (Results 1 – 1 of 1) sorted by relevance
55 new_symbol_count="$(wc -l < "$tmp_new_symbols")"56 if [ "$new_symbol_count" -eq 0 ]; then61 echo "info: $new_symbol_count symbol(s) added" 1>&2
Completed in 5 milliseconds