diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-20 18:28:34 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-20 18:36:05 +0100 |
| commit | 40bbcaa65d90a8c869d9732af26cb6ceb8e81ca8 (patch) | |
| tree | 0504aaee347589c0d61143d6ca3465675eaf9f82 /gnu | |
| parent | 3b32891b12ee18c57b0fc346ed7dce8b6976066b (diff) | |
| download | patches-40bbcaa65d90a8c869d9732af26cb6ceb8e81ca8.tar patches-40bbcaa65d90a8c869d9732af26cb6ceb8e81ca8.tar.gz | |
lint: 'check-derivation' fully disables grafts.
Previously grafting could take place indirectly, for instance when
lowering origins.
* guix/scripts/lint.scm (check-derivation)[try]: Parameterize
'%graft?'.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions