diff options
author | Robert Alessi <alessi@robertalessi.net> | 2024-03-15 11:03:17 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2024-03-15 11:03:17 +0100 |
commit | 888230fbdfc29c241ab50f6ee721a07abd56dc13 (patch) | |
tree | b20cfba02ad84ff158a2bf2336d20a9ca2778623 | |
parent | 71853f03428156ecc69241f06c58f9b233056c55 (diff) | |
download | texlive-openbsd-888230fbdfc29c241ab50f6ee721a07abd56dc13.tar.gz |
make: abort updating if latex is not found
-rw-r--r-- | makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -3,7 +3,7 @@ PREFIX?=/usr/local/texlive/${TL_YEAR}/bin/custom | |||
3 | BINREPO=https://www.ekdosis.org/texlive | 3 | BINREPO=https://www.ekdosis.org/texlive |
4 | TMPDIR!=mktemp -d | 4 | TMPDIR!=mktemp -d |
5 | OPENBSD_VERSION!=uname -r | sed 's/\.//' | 5 | OPENBSD_VERSION!=uname -r | sed 's/\.//' |
6 | TLBINPATH!!=which latex | sed 's/\/latex//' | 6 | TLBINPATH!!=which latex 2>/dev/null | sed 's/\/latex//' |
7 | TMPSOURCE?="" | 7 | TMPSOURCE?="" |
8 | UPDATING!=curl -s ${BINREPO}/status.txt | grep updating= | sed 's/.*=//' | 8 | UPDATING!=curl -s ${BINREPO}/status.txt | grep updating= | sed 's/.*=//' |
9 | 9 | ||
@@ -32,6 +32,10 @@ fetch: | |||
32 | .endif | 32 | .endif |
33 | 33 | ||
34 | update: | 34 | update: |
35 | .if "${TLBINPATH}" == "" | ||
36 | @echo "There is nothing to update. Aborting." | ||
37 | exit 1 | ||
38 | .endif | ||
35 | .if "${UPDATING}" == "yes" | 39 | .if "${UPDATING}" == "yes" |
36 | @echo "The binaries are being updated. Please re-run this command later." | 40 | @echo "The binaries are being updated. Please re-run this command later." |
37 | .else | 41 | .else |