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 /configure | |
| 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 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1157,7 +1157,11 @@ fi # will just stop at the stage when all the processing is complete and it is # only necessary to build the PDF. So we don't want to stop the project's # configuration and building if its not present. -texlive_result=$(cat $itidir/texlive-ready-tlmgr) +if [ -f $itidir/texlive-ready-tlmgr ]; then + texlive_result=$(cat $itidir/texlive-ready-tlmgr) +else + texlive_result="NOT!" +fi if [ x"$texlive_result" = x"NOT!" ]; then cat <<EOF |