1 2 3
set dirlen [expr [string length "$srcdir/$subdir"] + 1]; set tfile [string range $file $dirlen end]; if ![runtest_file_p $runtests $tfile] then {