#
rm -f errs
make >& errs
if ($status == 0) then
	echo ABORTING >> errs
	exit($status)
endif
make install >>& errs
exit($status)
