diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-12-30 16:36:21 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-01-06 07:27:09 -0500 |
| commit | 3a509d2999d499793075b47d1fb7380c9e896ea1 (patch) | |
| tree | ff61d0e0b89540cb05b5f039a800054115e415a4 /rules/prof.mk | |
| parent | 24b39ce53eedad4cefc30f6786542d2072d1f9b0 (diff) | |
| download | haskell-3a509d2999d499793075b47d1fb7380c9e896ea1.tar.gz | |
make: Silence some xelatex output
Currently build logs from GitLab CI around around 7 megabytes each. Of this,
around 2 megabytes is latex output. This is quite silly as essentially all of
this output is unresolved references in the early latex iterations.
Here we silence this output.
However, to make sure that we don't silence errors we allow each xelatex
invocation besides the last to fail.
Diffstat (limited to 'rules/prof.mk')
0 files changed, 0 insertions, 0 deletions