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 /guix/profiles.scm | |
| parent | 6a9abdcd5db7621a451af310c9a42a9bbfb228d6 (diff) | |
| download | guix-patches-baf0a4288264098ede43e4f7cd099a29fcf35be4.tar guix-patches-baf0a4288264098ede43e4f7cd099a29fcf35be4.tar.gz | |
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 'guix/profiles.scm')
0 files changed, 0 insertions, 0 deletions