:
# @(#)nmgrep.sh	16.1.1.1 (ESO-IPG) 06/19/01 15:42:14
pattern=$1
shift
for i in $*
do
  	# -h option not always recongnized (Sony/News)
	if (test -h $i 2>/dev/null); then
	   ls -l $i
	   continue
        fi
	echo "FILE: $i"
	nm $i | grep -i $pattern
done
