comparison Makefile @ 50632:786443bd3bc1

store: cache the file_size when we get it from disk The point of caching `files` is to ensure consistency and avoiding redoing expensive work. So we cache the file_size once retrieved.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Mon, 29 May 2023 04:24:29 +0200
parents 0f0880c8a7e5
children 87bfd1703597
comparison
equal deleted inserted replaced
50631:b59e0a4f692f 50632:786443bd3bc1