Hi,

it must have been something temporary: this morning I logged in, issued the same command and it worked!

Or if somebody fixed something in the build farm, thanks anyway.

Riccardo

Reply via email to