WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
Bug 198057
[PlayStation] Update initializer for changed port options
https://bugs.webkit.org/show_bug.cgi?id=198057
Summary
[PlayStation] Update initializer for changed port options
Stephan Szabo
Reported
2019-05-20 15:43:04 PDT
The port options were changed to build JavaScriptCore statically for the PlayStation port, but the initializer for the JSC shell still attempts to load the dynamic library.
Attachments
Patch
(1.16 KB, patch)
2019-05-20 15:45 PDT
,
Stephan Szabo
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Stephan Szabo
Comment 1
2019-05-20 15:45:58 PDT
Created
attachment 370274
[details]
Patch
WebKit Commit Bot
Comment 2
2019-05-21 16:42:48 PDT
Comment on
attachment 370274
[details]
Patch Clearing flags on attachment: 370274 Committed
r245600
: <
https://trac.webkit.org/changeset/245600
>
WebKit Commit Bot
Comment 3
2019-05-21 16:42:49 PDT
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 4
2019-05-21 16:43:48 PDT
<
rdar://problem/51006805
>
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