[webkit-changes] [260988] trunk/Tools

[aperez]

Title: [260988] trunk/Tools

Revision

260988

Author

ape...@igalia.com

Date

2020-05-01 01:18:11 -0700 (Fri, 01 May 2020)

Log Message

[GTK] File GtkVersioning.h should be excluded from the style checker
https://bugs.webkit.org/show_bug.cgi?id=211262

Reviewed by Carlos Garcia Campos.

* Scripts/webkitpy/style/checker.py: Exclude Source/WebCore/platform/gtk/GtkVersioning.h
from style checks.

Modified Paths

• trunk/Tools/ChangeLog
• trunk/Tools/Scripts/webkitpy/style/checker.py

Diff

Modified: trunk/Tools/ChangeLog (260987 => 260988)

--- trunk/Tools/ChangeLog	2020-05-01 08:15:44 UTC (rev 260987)
+++ trunk/Tools/ChangeLog	2020-05-01 08:18:11 UTC (rev 260988)
@@ -1,3 +1,13 @@
+2020-05-01  Adrian Perez de Castro  <ape...@igalia.com>
+
+        [GTK] File GtkVersioning.h should be excluded from the style checker
+        https://bugs.webkit.org/show_bug.cgi?id=211262
+
+        Reviewed by Carlos Garcia Campos.
+
+        * Scripts/webkitpy/style/checker.py: Exclude Source/WebCore/platform/gtk/GtkVersioning.h
+        from style checks.
+
 2020-04-30  Jiewen Tan  <jiewen_...@apple.com>
 
         [WebAuthn] Require user gestures for LocalAuthenticator

Modified: trunk/Tools/Scripts/webkitpy/style/checker.py (260987 => 260988)

--- trunk/Tools/Scripts/webkitpy/style/checker.py	2020-05-01 08:15:44 UTC (rev 260987)
+++ trunk/Tools/Scripts/webkitpy/style/checker.py	2020-05-01 08:18:11 UTC (rev 260988)
@@ -386,6 +386,7 @@
     os.path.join('Source', 'WebKit', 'WebProcess', 'InjectedBundle', 'API', 'gtk', 'DOM'),
 
     os.path.join('Source', '_javascript_Core', 'API', 'glib', 'jsc.h'),
+    os.path.join('Source', 'WebCore', 'platform', 'gtk', 'GtkVersioning.h'),
     os.path.join('Source', 'WebKit', 'UIProcess', 'API', 'gtk', 'webkit2.h'),
     os.path.join('Source', 'WebKit', 'UIProcess', 'API', 'wpe', 'webkit.h'),
     os.path.join('Source', 'WebKit', 'WebProcess', 'InjectedBundle', 'API', 'gtk', 'webkit-web-extension.h'),

_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes