Merge branch 'master' into core-updates

This commit is contained in:
Marius Bakke 2018-10-05 19:15:39 +02:00
commit cf6db76d2a
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA
119 changed files with 5955 additions and 2549 deletions

View file

@ -10391,7 +10391,7 @@ theme for the Sphinx documentation system. It's the default theme of Sphinx.")
(setenv "CC" "gcc")
;; No need to extend PYTHONPATH to find the built package, since
;; the Makefile will build anyway
(zero? (system* "make" "check")))))))
(invoke "make" "check"))))))
(native-inputs
`(("procps" ,procps))) ; required for tests
(home-page