diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-11-22 23:17:04 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-11-22 23:55:12 +0100 |
| commit | 5283d24062be62f59ff9f14fa7095ebcfcb7a9a4 (patch) | |
| tree | 38b702fc64c2242ef70bcf94178c0f35db8b60aa /gnu/packages/patches/ccextractor-add-missing-header.patch | |
| parent | 762be400984e2e537ecb205acace1d7d541d5f8a (diff) | |
| download | guix-5283d24062be62f59ff9f14fa7095ebcfcb7a9a4.tar.gz | |
shell: Disable caching for ‘guix shell -f guix.scm’.
Fixes <https://issues.guix.gnu.org/64858>. * guix/scripts/shell.scm (profile-cached-gc-root): Distinguish the two ‘load’ cases; return #f and #f for (load ad-hoc-package _). Reported-by: Pierre-Henry Fröhring <phfrohring@deeplinks.com>. Change-Id: I00282fbd41aeed09fb927690945cf65e1f9efe4d
Diffstat (limited to 'gnu/packages/patches/ccextractor-add-missing-header.patch')
0 files changed, 0 insertions, 0 deletions