diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-10-12 17:16:49 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-10-12 18:53:07 +0200 |
| commit | 75bdf8e06a325b90bf387a03f88726d338acbbf6 (patch) | |
| tree | 5b59cf559af334aadb478d8bace81a64d2b8af7b /gnu/packages/patches/gcc-7-cross-environment-variables.patch | |
| parent | 2812eb2e1b7ec3409cf823c95da1b676259d8698 (diff) | |
shell: Take grafting into account when caching.
Fixes <https://issues.guix.gnu.org/64856>.
* guix/scripts/shell.scm (profile-file-cache-key)
(profile-spec-cache-key): Take (%graft?) into account.
Reported-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Diffstat (limited to 'gnu/packages/patches/gcc-7-cross-environment-variables.patch')
0 files changed, 0 insertions, 0 deletions