#! /bin/csh -f
#
# runscript  <script> <sim>	- runs <script> thru <sim>
#				with 2 different seeds.
#				Defaults <sim> to "sim".

if ( $2 == "" ) then
	setenv sim sim
else
	setenv sim $2
endif

setenv script $1

foreach value ( 1 2 )
	echo "************** " $script " seed " $value " ***************"
	sed "s/SEED/$value/" < $script > runscript_temp
	time $sim < runscript_temp
end
rm -f runscript_temp
echo "************** Done ***************"
