Hi, > Please update your trunk checkout (r1543407 or newer) and restart doing a > clean build.
the same. I already had up-to-date tree. -- Pavel Janík --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
