make check ERRORs with libava.verify

[Mark Wielaard]

Hi,

My autobuilder (see the gcc-testresults mailinglist) suddenly gave the
following:

> ERROR: tcl error sourcing
> /home/mark/src/gcc34/gcc/libjava/testsuite/libjava.verify/verify.exp.
> ERROR: wrong # args: should be "set varName ?newValue?"

This seems to come from the new verify mauve tests.
Is anybody else seeing this?
I am currently on the road and cannot access my test machine ATM.

Cheers,

Mark