WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
144323
Remove move-js-headers.sh
https://bugs.webkit.org/show_bug.cgi?id=144323
Summary
Remove move-js-headers.sh
Csaba Osztrogonác
Reported
2015-04-28 04:38:53 PDT
It is introduced in
http://trac.webkit.org/changeset/14359
as the part of the wx port with the following comment: "Added script to copy JavaScriptCore includes into one dir so that Framework-style includes will work on all OSes. (written by Mike Emmel)" I think this script is unnecessary long time ago, let's remove it.
Attachments
Patch
(1.07 KB, patch)
2015-04-28 04:42 PDT
,
Csaba Osztrogonác
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Csaba Osztrogonác
Comment 1
2015-04-28 04:42:48 PDT
Created
attachment 251836
[details]
Patch
Daniel Bates
Comment 2
2015-04-28 09:33:34 PDT
Comment on
attachment 251836
[details]
Patch View in context:
https://bugs.webkit.org/attachment.cgi?id=251836&action=review
> Source/WebCore/ChangeLog:7 > +
Please add a remark on the reason for the removal of script move-js-headers.sh. Maybe something of the form: The script move-js-headers.sh was only used by the Wx port, which has been long since removed from trunk.
Csaba Osztrogonác
Comment 3
2015-05-04 03:06:00 PDT
Committed
r183742
: <
http://trac.webkit.org/changeset/183742
>
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