#!/bin/sh
# Out of sheer laziness, here's a script that greps for all its
# args in all the source files.

f="*.[bh]"
for p
do	if [ $# -gt 1 ];then echo ''; echo --- $p':';fi
	grep $p $f
done