Hi, On 28/10/14 09:43, Alberto Garcia wrote: > 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.
If the bug is still there, it probably would have been noticed on at least one of the architectures it built for. > 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. I don't think it matters; I don't see much point keeping the bug open, unless the problem comes back? Regards, -- Steven Chamberlain ste...@pyro.eu.org -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
