fetch-assets: warn in case the mtime of the existing file is different

2021-07-17 19:50:12 +02:00 · 2021-07-17 19:50:12 +02:00 · e2279e671a
commit e2279e671a
parent 41f566d371
1 changed files with 3 additions and 0 deletions
--- a/autobuild.py
+++ b/autobuild.py
@ -1219,6 +1219,9 @@ def fetch_assets(args: Any) -> None:
                if asset_path.stat().st_size != asset.size:
                    print(f"Warning: {asset_path} already exists "
                          f"but has a different size")
+                if get_asset_mtime_ns(asset) != asset_path.stat().st_mtime_ns:
+                    print(f"Warning: {asset_path} already exists "
+                          f"but has a different mtime")
                done.append(asset)
                continue
            todo.append((asset, asset_path))