diff --git a/tools/js2c.py b/tools/js2c.py index 4594694a2cab0d..195e6a6189a989 100755 --- a/tools/js2c.py +++ b/tools/js2c.py @@ -178,6 +178,7 @@ def write_if_chaged(content, target): else: old_content = '' if old_content == content: + os.utime(target, None) return with open(target, "wt") as output: output.write(content)