diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2018-07-31 16:53:54 -0700 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2018-08-07 14:58:57 -0700 |
| commit | 933add6cd833bb6ba6682ad2b6eb478871415ff5 (patch) | |
| tree | 8cb5ee1feb0516c24ee270fcee5ed00d310aced8 /py/makeversionhdr.py | |
| parent | 2029c4e87e3e71ada07c8be91fe6877edf4a606b (diff) | |
Support internationalisation.
Diffstat (limited to 'py/makeversionhdr.py')
| -rw-r--r-- | py/makeversionhdr.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/py/makeversionhdr.py b/py/makeversionhdr.py index 89a604aeb..7ceeaeadd 100644 --- a/py/makeversionhdr.py +++ b/py/makeversionhdr.py @@ -100,7 +100,6 @@ def make_version_header(filename): # Only write the file if we need to if write_file: - print("GEN %s" % filename) with open(filename, 'w') as f: f.write(file_data) |