diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-04-06 23:19:00 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-04-06 23:21:26 +0200 |
| commit | 7cffaeb60473e25a7ef8c1a8cb36e1531191873a (patch) | |
| tree | 7569a086b5c1da11cc10be9955d242bd4886d514 /scripts/guix.in | |
| parent | 7b9a66e51937bf627541a437f46949f69d2f5872 (diff) | |
| download | patches-7cffaeb60473e25a7ef8c1a8cb36e1531191873a.tar patches-7cffaeb60473e25a7ef8c1a8cb36e1531191873a.tar.gz | |
challenge: Really exit with non-zero upon hash mismatch.
Reported by John Darrington.
* guix/scripts/challenge.scm (guix-challenge): Add an explicit 'exit'
call when ISSUES is empty.
* scripts/guix.in: Add comment about 'exit'.
* doc/guix.texi (Invoking guix challenge): Mention the behavior and exit
code.
Diffstat (limited to 'scripts/guix.in')
| -rw-r--r-- | scripts/guix.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/guix.in b/scripts/guix.in index 8f2d8a6433..5d6921dd09 100644 --- a/scripts/guix.in +++ b/scripts/guix.in @@ -64,4 +64,9 @@ (apply guix-main (command-line)))) (maybe-augment-load-paths!) + + ;; XXX: It would be more convenient to change it to: + ;; (exit (run-guix-main)) + ;; but since the 'guix' command is not updated by 'guix pull', we cannot + ;; really do it now. (run-guix-main)) |