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

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

setenv script script.tset1

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