paul zimmermann <Paul.Zimmermann at inria.fr> writes: However I had to define INTERPRETER= in test-driver. That requirement should be gone now. -- Torbjörn Please encrypt, key id 0xC8601622