#! /bin/csh -f

if( $1 == "") then
	echo  $0 requires argument.
	exit
endif

set statistician = statboys@soda.berkeley.edu

echo Mailing files Conquer.$1 PWstats.$1 INL_log.$1 to $statistician
echo "mailing: INL RESULTS: `tail -1 Conquer.$1`"

cat  Conquer.$1 PWstats.$1 Popstats.$1 INL_log.$1 | Mail -s "INL RESULTS: `tail -1 Conquer.$1`" $statistician
