#!/bin/csh -f
#
# makemains modules
#
# rcsid $Header: /ufs/repository/magic/scripts/makemains,v 1.1 2000/10/20 18:40:42 tim Exp $
#

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