filter_symbols.sh revision b6c1cf6de79035f58b512f4400db458c8401379a 
1NM=$1
2
3shift
4
5PREFIX=$1
6
7shift
8
9SUFFIX=$1
10
11shift
12
13while test "$1" != ""
14do
15    $NM -g -fp $1 | while read -a line
16    do
17	type=${line[1]}
18	# if [[ "$type" != "V" && "$type" != "U" ]]; then
19	#if [[ "$type" != "W" && "$type" != "V" && "$type" != "U" ]]; then
20	    echo "$PREFIX${line[0]}$SUFFIX # ${line[1]}"
21	#fi
22    done
23
24    shift
25done
26