[webkit-changes] [WebKit/WebKit] 9c21df: rdar://109697000 (`Scripts/generate-serializers.py...

aproskuryakov noreply at github.com
Fri May 26 13:47:48 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/WebKit/WebKit
  Commit: 9c21df951f6109ccdf9f86620c6ad76e4a07946f
      https://github.com/WebKit/WebKit/commit/9c21df951f6109ccdf9f86620c6ad76e4a07946f
  Author: Alexey Proskuryakov <ap at apple.com>
  Date:   2023-05-26 (Fri, 26 May 2023)

  Changed paths:
    M Source/WebKit/Scripts/generate-serializers.py

  Log Message:
  -----------
  rdar://109697000 (`Scripts/generate-serializers.py` produces non-deterministic outputs)

Reviewed by Sihui Liu and Elliott Williams.

Patch by Argyrios Kyrtzidis.

* Source/WebKit/Scripts/generate-serializers.py:
(ConditionalHeader.__lt__):
(ConditionalHeader.__lt__.condition_str):

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




More information about the webkit-changes mailing list