#!/bin/csh -f
#
# makelint modules
#
# Make the lint file in the library.
#
# rcsid $Header: /ufs/repository/magic/scripts/makelint,v 1.1 2000/10/20 18:40:42 tim Exp $
#

foreach mod ( $argv[1-] )
	echo -n "pushd " >>& make.log
	pushd $mod >& /dev/null
	make -k ../lib/lint/${mod}.ln | tee -a ../make.log | grep \[Ww\]arning\\\|\[Ee\]rror
	echo -n "popd " >>& ../make.log
	popd >& /dev/null
end