diff options
| author | Neil <nyamatongwe@gmail.com> | 2022-10-09 11:07:52 +1100 |
|---|---|---|
| committer | Neil <nyamatongwe@gmail.com> | 2022-10-09 11:07:52 +1100 |
| commit | 8dee5dd96994dc36a9d8c5d0b11904a202798bd8 (patch) | |
| tree | 069880826d6ba05c5de8a27254747390eb889dfa /scripts | |
| parent | 447148eb9cf8cded342f1347ca3916fdfaad9c31 (diff) | |
| download | scintilla-mirror-8dee5dd96994dc36a9d8c5d0b11904a202798bd8.tar.gz | |
File changed/new messages are printed in diagnostic format to make it easier to
open the file.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/FileGenerator.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/FileGenerator.py b/scripts/FileGenerator.py index e7b0f236d..bedb16b2f 100644 --- a/scripts/FileGenerator.py +++ b/scripts/FileGenerator.py @@ -32,7 +32,7 @@ def UpdateFile(filename, updated): newOrChanged = "New" with codecs.open(filename, "w", "utf-8") as outfile: outfile.write(updated) - print("%s %s" % (newOrChanged, filename)) + print("%s:0: %s" % (filename, newOrChanged)) # Automatically generated sections contain start and end comments, # a definition line and the results. |