On Fri, Oct 17, 2014 at 04:07:32PM +0300, Alberto Garcia wrote: > > Is this a race condition or perhaps something to do with a build > > dependency? > > A race condition would be my guess, but I haven't had the time to > investigate it yet.
I didn't notice anything odd in the makefiles that could be causing this problem, so I tried to reproduce it with no success. I rebuilt webkit several times and it went fine in all cases. I also uploaded 2.6.2 which built fine in all architectures. The only change that I think could be related between 2.6.1 and 2.6.2 is this one (not sure how, though): https://anonscm.debian.org/cgit/pkg-webkit/webkit.git/diff/Source/JavaScriptCore/PlatformGTK.cmake?h=webkitgtk-2.6&id=2a5c18f331b7d2b3aa2b119a42d76a6655a47c62 I can try to confirm if that was the fix for the problem, else I guess we can assume that the problem was in a build dependency. Berto -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
