[webkit-dev] Help with GTK build

Adam Barth abarth at webkit.org
Mon Jan 10 00:55:54 PST 2011


On Mon, Jan 10, 2011 at 12:32 AM, Alejandro Garcia Castro
<alex at igalia.com> wrote:
> On Sat, Jan 08, 2011 at 12:50:11PM +0100, Alejandro G. Castro wrote:
>> On Sat, Jan 08, 2011 at 12:20:18PM +0100, Alejandro G. Castro wrote:
>> >
>> > [...]
>> >
>> > Yeah, it is the length, we already had that issue when doing "make
>> > dist". It looks like adding "Source" is adding enough characters to
>> > cause the same problem:
>> >
>> > http://thread.gmane.org/gmane.comp.gnu.make.bugs/4219
>> >
>> > I'm afraid we have to patch the make we are using in the bots. I'll try
>> > to check it.
>> >
>>
>> I've patched and installed the make package in the 64bits debug bot
>> and apparently it is working, I'm going to do the same in the 32bit
>> debug, unfortunately I do not have access to the release bots.
>
> For the record, Xan and Martin just committed the required fix, so we
> do not need to patch make:
>
> http://trac.webkit.org/changeset/75362

Thanks.  I really appreciate you all cleaning up after my mess.

Adam


More information about the webkit-dev mailing list