WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
157036
Changed jsc options title to be more descriptive.
https://bugs.webkit.org/show_bug.cgi?id=157036
Summary
Changed jsc options title to be more descriptive.
Mark Lam
Reported
2016-04-26 10:32:20 PDT
Let the title for --dumpOptions be "Modified JSC runtime options:" since it only dumps overridden options. The title for --options will remain "All JSC runtime options:" since it dumps all all options with verbose detail.
Attachments
proposed patch.
(1.73 KB, patch)
2016-04-26 10:33 PDT
,
Mark Lam
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Mark Lam
Comment 1
2016-04-26 10:33:34 PDT
Created
attachment 277397
[details]
proposed patch.
WebKit Commit Bot
Comment 2
2016-04-26 11:34:53 PDT
Comment on
attachment 277397
[details]
proposed patch. Clearing flags on attachment: 277397 Committed
r200101
: <
http://trac.webkit.org/changeset/200101
>
WebKit Commit Bot
Comment 3
2016-04-26 11:34:57 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