WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
100587
REAL_PLATFORM_NAME build setting is no longer needed
https://bugs.webkit.org/show_bug.cgi?id=100587
Summary
REAL_PLATFORM_NAME build setting is no longer needed
mitz
Reported
2012-10-26 23:55:34 PDT
REAL_PLATFORM_NAME was used to work around the fact that PLATFORM_NAME was not defined in Tiger-era versions of Xcode.
Attachments
Remove definitions of REAL_PLATFORM_NAME and use PLATFORM_NAME instead
(85.29 KB, patch)
2012-10-26 23:59 PDT
,
mitz
mrowe
: review+
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
mitz
Comment 1
2012-10-26 23:59:26 PDT
Created
attachment 171079
[details]
Remove definitions of REAL_PLATFORM_NAME and use PLATFORM_NAME instead
mitz
Comment 2
2012-10-27 09:16:11 PDT
Fixed in <
http://trac.webkit.org/r132729
>.
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