On Nov 8, 2008, at 12:44 PM, haithem rahmani wrote:

I would like, for benchmarking purposes, to have different Javascript engines inside Webkit and to have a runtime option to enable/disable them.

That's not supported; it would be very difficult to do so efficiently and no one has even tried to do this.

    -- Darin

_______________________________________________
webkit-dev mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev

Reply via email to