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
Yo!
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