diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-01-10 22:42:17 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-01-10 22:43:09 +0100 |
| commit | bf6fb59a3372a23244f84298e8432195cb8f729b (patch) | |
| tree | 68b8dba234b3fa7f6f12509443f628bd3116f2ad /gnu | |
| parent | ac5c9f6ba6e80f9e7255442a4e0f0f3aeb2960d5 (diff) | |
| download | guix-bf6fb59a3372a23244f84298e8432195cb8f729b.tar guix-bf6fb59a3372a23244f84298e8432195cb8f729b.tar.gz | |
build-system: texlive: Do not hide build output.
* guix/build/texlive-build-system.scm (compile-with-latex): Use "nonstopmode"
instead of "batchmode".
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions