py: Use "GEN" consistently for describing files generated in the build.

2018-02-22 11:35:53 +11:00
parent 65ef59a9b5
commit 6af4515969
2 changed files with 3 additions and 3 deletions
--- 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)