Title: [204604] trunk/Source/WebKit2
Revision
204604
Author
[email protected]
Date
2016-08-18 12:04:28 -0700 (Thu, 18 Aug 2016)

Log Message

Generated messages headers should use #pragma once
https://bugs.webkit.org/show_bug.cgi?id=160965

Reviewed by Anders Carlsson.

* Scripts/webkit/messages.py:
(generate_messages_header): Used #pragma once instead of a header guard.

Modified Paths

Diff

Modified: trunk/Source/WebKit2/ChangeLog (204603 => 204604)


--- trunk/Source/WebKit2/ChangeLog	2016-08-18 18:59:20 UTC (rev 204603)
+++ trunk/Source/WebKit2/ChangeLog	2016-08-18 19:04:28 UTC (rev 204604)
@@ -1,5 +1,15 @@
 2016-08-18  Andy Estes  <[email protected]>
 
+        Generated messages headers should use #pragma once
+        https://bugs.webkit.org/show_bug.cgi?id=160965
+
+        Reviewed by Anders Carlsson.
+
+        * Scripts/webkit/messages.py:
+        (generate_messages_header): Used #pragma once instead of a header guard.
+
+2016-08-18  Andy Estes  <[email protected]>
+
         [Cocoa] Add SPI to WKProcessPool for enabling cookie storage partitioning
         https://bugs.webkit.org/show_bug.cgi?id=160964
 

Modified: trunk/Source/WebKit2/Scripts/webkit/messages.py (204603 => 204604)


--- trunk/Source/WebKit2/Scripts/webkit/messages.py	2016-08-18 18:59:20 UTC (rev 204603)
+++ trunk/Source/WebKit2/Scripts/webkit/messages.py	2016-08-18 19:04:28 UTC (rev 204604)
@@ -214,14 +214,13 @@
 
 def generate_messages_header(file):
     receiver = parser.parse(file)
-    header_guard = messages_header_filename(receiver).replace('.', '_')
 
     result = []
 
     result.append(_license_header)
 
-    result.append('#ifndef %s\n' % header_guard)
-    result.append('#define %s\n\n' % header_guard)
+    result.append('#pragma once\n')
+    result.append('\n')
 
     if receiver.condition:
         result.append('#if %s\n\n' % receiver.condition)
@@ -248,8 +247,6 @@
     if receiver.condition:
         result.append('\n#endif // %s\n' % receiver.condition)
 
-    result.append('\n#endif // %s\n' % header_guard)
-
     return ''.join(result)
 
 
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to