:
# @(#)nmgrep.sh	17.1.1.1 (ESO-IPG) 01/25/02 17:57:25
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