diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-02-22 11:35:53 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-02-22 12:48:51 +1100 |
| commit | 6af4515969045701a44fc282f72f68b7faaeb538 (patch) | |
| tree | a8cc5a440aac0f7730910cd7e97b32fbd001ec2d /py/makeversionhdr.py | |
| parent | 65ef59a9b550bf89ae5b14130f0f8e6ff6d357ca (diff) | |
py: Use "GEN" consistently for describing files generated in the build.
Diffstat (limited to 'py/makeversionhdr.py')
| -rw-r--r-- | py/makeversionhdr.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/py/makeversionhdr.py b/py/makeversionhdr.py index 749160b4d..aedc292e4 100644 --- a/py/makeversionhdr.py +++ b/py/makeversionhdr.py @@ -99,7 +99,7 @@ def make_version_header(filename): # Only write the file if we need to if write_file: - print("Generating %s" % filename) + print("GEN %s" % filename) with open(filename, 'w') as f: f.write(file_data) |