Bug 142909 - [EFL][GTK] WebKit2's generate-forwarding-headers.pl should fail if clashing headers found
Summary: [EFL][GTK] WebKit2's generate-forwarding-headers.pl should fail if clashing h...
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: 528+ (Nightly build)
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Csaba Osztrogonác
URL:
Keywords:
Depends on:
Blocks: 142907
  Show dependency treegraph
 
Reported: 2015-03-20 06:06 PDT by Csaba Osztrogonác
Modified: 2015-03-30 06:18 PDT (History)
7 users (show)

See Also:


Attachments
Patch (3.42 KB, patch)
2015-03-20 06:10 PDT, Csaba Osztrogonác
no flags Details | Formatted Diff | Diff
Patch (3.41 KB, patch)
2015-03-26 04:31 PDT, Csaba Osztrogonác
no flags Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Csaba Osztrogonác 2015-03-20 06:06:41 PDT
Long time ago clashing headers caused race conditon, which is 
absolutely undesirable. Build system must be deterministic.

And then http://trac.webkit.org/changeset/79544 introduced a workaround 
for handling clashing headers, because Qt added a clashing header. But 
now there is no Qt and no clashing header and I don't think if we should 
prefer one from clashing headers, but exit with error to force the renaming.

Its sideeffect will be to be able to fix bug142907 easier. :)
Comment 1 Csaba Osztrogonác 2015-03-20 06:10:36 PDT
Created attachment 249110 [details]
Patch
Comment 2 Csaba Osztrogonác 2015-03-26 04:31:22 PDT
Created attachment 249483 [details]
Patch

updataed to ToT
Comment 3 Csaba Osztrogonác 2015-03-30 05:25:25 PDT
Comment on attachment 249483 [details]
Patch

View in context: https://bugs.webkit.org/attachment.cgi?id=249483&action=review

> Source/WebKit2/Scripts/generate-forwarding-headers.pl:101
> +        # If we found more headers with the same name, exit immediately.
> +        my @headers = grep($_ =~ "/$headerName\$", @frameworkHeaders);
> +        if (@headers != 1) {
> +            print("ERROR: Can't create $headerName forwarding header, because there are more headers with the same name:\n");
> +            foreach (@headers) { print " - $_\n" };
> +            die();

Ping for review?

It is so simple patch, only this part changed, the other 
parts are only whitespace changes due to indentation.
Comment 4 WebKit Commit Bot 2015-03-30 06:18:42 PDT
Comment on attachment 249483 [details]
Patch

Clearing flags on attachment: 249483

Committed r182138: <http://trac.webkit.org/changeset/182138>
Comment 5 WebKit Commit Bot 2015-03-30 06:18:47 PDT
All reviewed patches have been landed.  Closing bug.