On Mon, 2005-10-24 at 15:24 +0200, Eric TANGUY wrote: > Is there any problem on the build system ? Hmm, mock wasn't noticing that its child process had terminated on one of the builders... kicked now. Dan