diff options
author | Ludovic Courtès <ludo@gnu.org> | 2021-06-11 23:32:45 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-06-12 00:49:32 +0200 |
commit | baf0a4288264098ede43e4f7cd099a29fcf35be4 (patch) | |
tree | 48f3e4bdfe67ef7f287530c9587dad49cf2990e7 /gnu | |
parent | 6a9abdcd5db7621a451af310c9a42a9bbfb228d6 (diff) |
git: Update the mtime of the just-updated checkout.
Reported by zimoun <zimon.toutoune@gmail.com>.
Previously, the mtime of CACHE-DIRECTORY may or may not have been
updated after a pull. Thus, 'maybe-remove-expired-cache-entries' could
potentially delete CACHE-DIRECTORY right before it's returned.
* guix/git.scm (update-cached-checkout): Call 'utime' on CACHE-DIRECTORY.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions