#!/bin/sh
a=$1
shift
awk '
#	FILENAME!=ofilename	{NR=1;ofilename=FILENAME}
	/'$a'/			{print FILENAME ":" NR ":" $0} ' $*
#Contrast: {print FILENAME , NR , $0}
#Contrast: {print FILENAME  NR  $0}