From 0760c41393a9be8d9af35fd6022283a0a65d504e Mon Sep 17 00:00:00 2001 From: Ines Montani Date: Thu, 12 Sep 2019 15:35:01 +0200 Subject: [PATCH] Change st_ctime to st_mtime --- setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.py b/setup.py index 1d2aa084b..984de2250 100755 --- a/setup.py +++ b/setup.py @@ -140,7 +140,7 @@ def gzip_language_data(root, source): base = Path(root) / source for jsonfile in base.glob("**/*.json"): outfile = jsonfile.with_suffix(jsonfile.suffix + ".gz") - if outfile.is_file() and outfile.stat().st_ctime > jsonfile.stat().st_ctime: + if outfile.is_file() and outfile.stat().st_mtime > jsonfile.stat().st_mtime: # If the gz is newer it doesn't need updating print("Skipping {}, already compressed".format(jsonfile)) continue