[webkit-changes] [WebKit/WebKit] 78cf09: Remove duplicate copy of WebKitLegacy's umbrella h...

Elliott Williams noreply at github.com
Wed Oct 2 15:27:58 PDT 2024


  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 78cf09d8967cc0492b530008ca9be149dae157e1
      https://github.com/WebKit/WebKit/commit/78cf09d8967cc0492b530008ca9be149dae157e1
  Author: Elliott Williams <emw at apple.com>
  Date:   2024-10-02 (Wed, 02 Oct 2024)

  Changed paths:
    M Source/WebKit/MigratedHeaders-input.xcfilelist
    M Source/WebKit/MigratedHeaders-output.xcfilelist
    R Source/WebKit/Shared/API/Cocoa/WebKitLegacy.h
    M Source/WebKit/WebKit.xcodeproj/project.pbxproj
    M Source/WebKitLegacy/scripts/xcfilelist-copy.py

  Log Message:
  -----------
  Remove duplicate copy of WebKitLegacy's umbrella header
https://bugs.webkit.org/show_bug.cgi?id=280374
rdar://problem/136718263

Reviewed by Alexey Proskuryakov.

In https://commits.webkit.org/248836@main, we made a copy of the
<WebKitLegacy/WebKit.h> umbrella header which is migrated to WebKit. I
said that:

    Xcode's header maps forbid a header's name from changing during the
    copy process, so we have to duplicate WebKitLegacy's umbrella header
    instead of renaming it WebKit.h -> WebKitLegacy.h during the build.

Later, in https://commits.webkit.org/259916@main, we moved from a pure
Xcode-project based header migration logic, to the current approach
where we have a pair of xcfilelists and a copying script. So, the "can't
rename WebKit.h" rule no longer applies. Delete this duplicated file and
teach xcfilelist-copy.py to rename <WebKitLegacy/WebKit.h> to
<WebKit/WebKitLegacy.h>.

* Source/WebKit/MigratedHeaders-input.xcfilelist:
* Source/WebKit/MigratedHeaders-output.xcfilelist:
* Source/WebKit/Shared/API/Cocoa/WebKitLegacy.h: Removed.
* Source/WebKit/WebKit.xcodeproj/project.pbxproj:
* Source/WebKitLegacy/scripts/xcfilelist-copy.py:

Canonical link: https://commits.webkit.org/284585@main



To unsubscribe from these emails, change your notification settings at https://github.com/WebKit/WebKit/settings/notifications


More information about the webkit-changes mailing list