#/bin/csh -f

lint -h -I../h $1 $2 $3 $4 $5 $6|& tee errors.txt
