WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
131470
Temporarily disable the JIT for the Windows port
https://bugs.webkit.org/show_bug.cgi?id=131470
Summary
Temporarily disable the JIT for the Windows port
Mark Lam
Reported
2014-04-09 19:25:53 PDT
Until we have a fix for
https://bugs.webkit.org/show_bug.cgi?id=131182
, we’ll temporarily disable the JIT on the Windows port to green the bots.
Attachments
The patch.
(1.32 KB, patch)
2014-04-09 19:31 PDT
,
Mark Lam
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Mark Lam
Comment 1
2014-04-09 19:31:30 PDT
Created
attachment 229017
[details]
The patch.
WebKit Commit Bot
Comment 2
2014-04-09 20:55:55 PDT
Comment on
attachment 229017
[details]
The patch. Clearing flags on attachment: 229017 Committed
r167061
: <
http://trac.webkit.org/changeset/167061
>
WebKit Commit Bot
Comment 3
2014-04-09 20:55:59 PDT
All reviewed patches have been landed. Closing bug.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug