diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-05-25 14:21:04 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-25 14:25:17 +0200 |
commit | 20ed093977cc80ba1729c38e05ae7955a38069a6 (patch) | |
tree | 2cbda1766f47080f98995e9419efa70e46d03750 /.dir-locals.el | |
parent | bfe5264aa10c1af64adc5c24d0cf091562e3e09c (diff) |
pull: Catch '&missing-dependency-error' raised by 'source-module-closure'.
Fixes <http://bugs.gnu.org/26987>.
Reported by Mathieu Othacehe <m.othacehe@gmail.com>.
* guix/build/pull.scm (depends-on-guile-ssh?): Remove.
(has-all-its-dependencies?): New procedure.
(build-guix): Use it to filter source files.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions