diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2018-09-02T10·52+0200 |
---|---|---|
committer | Daiderd Jordan <daiderd@gmail.com> | 2018-09-02T10·56+0200 |
commit | bfdca55868ac1cd336c5d73ff944098ce82d023d (patch) | |
tree | a9afd6203591f01377fc586603649a739c01dbb3 /release-common.nix | |
parent | 0f18dc54797a1850bc1b91673790ad73e8f4b82f (diff) |
nix doctor: add check for profile roots
In most cases profiles that are in PATH should have a gcroot.
Diffstat (limited to 'release-common.nix')
0 files changed, 0 insertions, 0 deletions