regsub "^.*/(\[^/\]*)$" $t "gasp MRI \\1" testname
gasp_test $t $testname "-M"
}
-
-# FIXME: this is here cause of a bug in DejaGnu 1.1.1. When it is no longer
-# in use, then this can be removed.
-if [info exists errorInfo] then {
- unset errorInfo
-}
-