#! /bin/csh -f
#
# runtsett <sim>	Runs script.tsett with different time's
#				Defaults <sim> to "sim".

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

setenv script script.tsett

foreach time ( 30000 40000 50000 100000 200000 500000 )
	echo "************** " $script " time " $time " ***************"
	sed "s/TIME/$time/" < $script > runtime_temp
	runscript runtime_temp $sim
end
rm -f runtime_temp
echo "************** Done ***************"
