> Dave, don't forget to add something like: > grep `whoami` MAINTAINERS >/dev/null > if [ $? != 0 ]; then exit 1; fi > > to configure. > :) Won't it be shorter to say grep -q `whoami` MAINTAINERS || exit 1 :-) Cheers, Phi