diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-15 01:16:31 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-15 01:16:31 +0100 |
| commit | 9901c3b2db0a3f85105489faa860fc27227ad4ac (patch) | |
| tree | cc14f042f113c4356042e3d0fcefabf46bfd6617 /reproduce/analysis/bash | |
| parent | e83270cc0c9c17951669874bcfb5284301272ede (diff) | |
Minor corrections in configure and high-level
Configure script: when `texlive-ready-tlmgr' is not created, it is similar
to not having installed TeXLive. A check was added so in this scenario the
`./configure' script doesn't crash.
high-level.mk: `cairo' and `pixman' are now installed in parallel and with
`V=1' (so the full compilation and linking command is printed).
Diffstat (limited to 'reproduce/analysis/bash')
0 files changed, 0 insertions, 0 deletions