Hello, Le mardi 22 avril 2008 à 13:15 +0200, Paolo Bonzini a écrit : > It might be that rebuilding fixes the failure. I saw random failures of > Swazoo here too, it might be a race condition or something like that.
Paolo, could this error be fixed by the patch[1]? Regards, Thomas [1] http://git.sv.gnu.org/gitweb/?p=smalltalk.git;a=commitdiff;h=dfd82e2fef20429c40f0deaedc2154e9c10f5802