Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make sure the last modified timestamp is set correctly
Linux stores modification time with nano-seconds precision, but we currently set the timestamp of the cached file only in milliseconds. This can lead to the situation that the source is considered a few nanoseconds older than the cache file and therefore the cache is regenerated every time.
- Loading branch information