diff options
Diffstat (limited to 'src/gen-hb-version.py')
-rwxr-xr-x | src/gen-hb-version.py | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/gen-hb-version.py b/src/gen-hb-version.py index 4fac0a0e5..06018edfc 100755 --- a/src/gen-hb-version.py +++ b/src/gen-hb-version.py @@ -32,5 +32,9 @@ with open (INPUT, "r", encoding='utf-8') as template: .replace ("@HB_VERSION@", version) .encode ()) -# copy it also to src/ -shutil.copyfile (OUTPUT, os.path.join (CURRENT_SOURCE_DIR, os.path.basename (OUTPUT))) +# copy it also to the source tree, but only if it has changed +baseline_filename = os.path.join (CURRENT_SOURCE_DIR, os.path.basename (OUTPUT)) +with open(baseline_filename, "rb") as baseline: + with open(OUTPUT, "rb") as generated: + if baseline.read() != generated.read(): + shutil.copyfile (OUTPUT, baseline_filename) |