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

set name=$argv[1]
foreach mod ( $argv[2-] )
	echo ' ' >>& make.log
	echo ------- Doing $mod ------- >>& make.log
	echo -n "pushd " >>& make.log
	pushd $mod >& /dev/null
	set nonomatch
	rm -f *.o
	unset nonomatch
	make $name | tee -a ../make.log | grep \[Ww\]arning\\\|\[Ee\]rror
	echo -n "popd " >>& ../make.log
	popd >& /dev/null
end