#!/bin/csh -f
#
# makeall name modules
#
# rcsid $Header: /ufs/repository/magic/scripts/makeall,v 1.1 2000/10/20 18:40:41 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
	make -k $name | tee -a ../make.log | grep \[Ww\]arning\\\|\[Ee\]rror
	echo -n "popd " >>& ../make.log
	popd >& /dev/null
end
