#!/bin/csh -f
#
# makelib modules
#
# Make the 'module.o' file in the library.
# Has the side effect of removing stuff from the installed directory.
#
# rcsid $Header: /ufs/repository/magic/scripts/makelib,v 1.1 2000/10/20 18:40:42 tim Exp $
#

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