diff options
-rwxr-xr-x | scripts/contrib/convert-overrides.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/contrib/convert-overrides.py b/scripts/contrib/convert-overrides.py index 499852bd26..68ae356083 100755 --- a/scripts/contrib/convert-overrides.py +++ b/scripts/contrib/convert-overrides.py | |||
@@ -90,6 +90,7 @@ subs = { | |||
90 | } | 90 | } |
91 | 91 | ||
92 | def processfile(fn): | 92 | def processfile(fn): |
93 | print("processing file '%s'" % fn) | ||
93 | try: | 94 | try: |
94 | fh, abs_path = tempfile.mkstemp() | 95 | fh, abs_path = tempfile.mkstemp() |
95 | with os.fdopen(fh, 'w') as new_file: | 96 | with os.fdopen(fh, 'w') as new_file: |
@@ -128,6 +129,7 @@ def processfile(fn): | |||
128 | pass | 129 | pass |
129 | 130 | ||
130 | ourname = os.path.basename(sys.argv[0]) | 131 | ourname = os.path.basename(sys.argv[0]) |
132 | ourversion = "0.9.0" | ||
131 | 133 | ||
132 | for root, dirs, files in os.walk(targetdir): | 134 | for root, dirs, files in os.walk(targetdir): |
133 | for name in files: | 135 | for name in files: |
@@ -139,3 +141,5 @@ for root, dirs, files in os.walk(targetdir): | |||
139 | if "/.git/" in fn or fn.endswith(".html") or fn.endswith(".patch") or fn.endswith(".m4") or fn.endswith(".diff"): | 141 | if "/.git/" in fn or fn.endswith(".html") or fn.endswith(".patch") or fn.endswith(".m4") or fn.endswith(".diff"): |
140 | continue | 142 | continue |
141 | processfile(fn) | 143 | processfile(fn) |
144 | |||
145 | print("All files processed with version %s" % ourversion) | ||