diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-01-12 23:14:58 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-01-12 23:28:45 +0100 |
| commit | 4cdff6ae37878588a550e5969381d531c728e2fd (patch) | |
| tree | 17896493028fee9c3c2dca563e4676c1aa4cdfb3 /gnu | |
| parent | 08b98ae8d3a8a5f74f0c7f77502e8be790487c29 (diff) | |
challenge: Use a warning when substitutes are lacking.
* guix/scripts/challenge.scm (discrepancies): Use 'warning' instead of
'leave'.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions