#! /bin/tcsh -f
set VERSION = 4.13
if ($#argv >= 2 && A"$1" == "A-v") then
	set VERSION = "$2"
endif

cd testfiles$VERSION

dotest $*
