diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2018-05-12 10:56:25 +0200 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-05-12 10:56:25 +0200 |
| commit | ac30d18c0ba668a91547c97b3637dfd9caabbd37 (patch) | |
| tree | d3a22dec3606ebe2e920e011260b355da1e0cbd8 /gnu/packages/idris.scm | |
| parent | 30ef146c996983cdcca7c0d17b2dee2fe31806d4 (diff) | |
| download | patches-ac30d18c0ba668a91547c97b3637dfd9caabbd37.tar patches-ac30d18c0ba668a91547c97b3637dfd9caabbd37.tar.gz | |
gnu: make-u-boot-package: Print errors to (current-error-port).
* gnu/packages/bootloaders.scm (make-u-boot-package): Print errors to
(current-error-port).
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions