[webkit-changes] [WebKit/WebKit] 1ddcb1: [GTK] Unreviewed, build fix for Debian 12

[Diego Pino]

  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 1ddcb1544050717de2abeba293cdcc8d04a9fdeb
      https://github.com/WebKit/WebKit/commit/1ddcb1544050717de2abeba293cdcc8d04a9fdeb
  Author: Diego Pino Garcia <dpino at igalia.com>
  Date:   2025-01-04 (Sat, 04 Jan 2025)

  Changed paths:
    M Source/WebKit/PlatformGTK.cmake

  Log Message:
  -----------
  [GTK] Unreviewed, build fix for Debian 12
https://bugs.webkit.org/show_bug.cgi?id=284216

Debian 12 bot builds with experimental features disabled, which means
ENABLE_WK_WEB_EXTENSIONS is disabled.

* Source/WebKit/PlatformGTK.cmake: Include file 'WebKitWebExtensionMatchPattern.h'
  only if ENABLE_WK_WEB_EXTENSIONS is enabled.

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



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