diff options
Diffstat (limited to 'Source/WebKit2/Scripts/generate-messages-header.py')
| -rw-r--r-- | Source/WebKit2/Scripts/generate-messages-header.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/WebKit2/Scripts/generate-messages-header.py b/Source/WebKit2/Scripts/generate-messages-header.py index fd888b3..854f0f0 100644 --- a/Source/WebKit2/Scripts/generate-messages-header.py +++ b/Source/WebKit2/Scripts/generate-messages-header.py @@ -33,7 +33,8 @@ def main(argv=None): argv = sys.argv input_path = argv[1] with open(input_path) as input_file: - print webkit2.messages.generate_messages_header(input_file), + # Python 3, change to: print(webkit2.messages.generate_messages_header(input_file), end='') + sys.stdout.write(webkit2.messages.generate_messages_header(input_file)) return 0 if __name__ == '__main__': |