#/bin/csh -f

lint -h  $1 |& tee errors.txt
