1.1.{2,3} release [Was: Re: Bug#519883: please upgrade to allow users to use spacebar]

Gustavo Noronha kov at debian.org
Tue Mar 17 14:16:15 UTC 2009


On Tue, 2009-03-17 at 08:01 +0100, Mike Hommey wrote:
> > > Hi Mike,
> > > 
> > > Although these symbols aren't used within the statically compiled
> > > JavaScriptCore/WebKit, they're invoked by the JIT generated machine
> > > code so we do need to export them.
> > 
> > I'm pretty sure hiding these symbols in some way should work equally
> > well.
> I verified the attached patch does produce a working webkit (tested on
> sunspider)

Do you want to commit it to debian/experimental? I'm pushing my merge
and copyright changes right now. If the patch works fine and doesn't
disable JIT, we should get it upstream soon.

See you!

Gustavo Noronha <kov at debian.org>
Debian Project

More information about the Pkg-webkit-maintainers mailing list