summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-check-fmtshare
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2021-07-25 18:05:31 +0000
committerKarl Berry <karl@freefriends.org>2021-07-25 18:05:31 +0000
commit67bab1444fb849ae3225b5674bba43ecc68c0f83 (patch)
tree5db5041df05d573f8e272a98c7a6435d6bc9b6c0 /Master/tlpkg/bin/tl-check-fmtshare
parent4605c296898dc8fa29423271a085e2b6ed97eb77 (diff)
make --dry-run drier
git-svn-id: svn://tug.org/texlive/trunk@60056 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-check-fmtshare')
-rwxr-xr-xMaster/tlpkg/bin/tl-check-fmtshare2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-check-fmtshare b/Master/tlpkg/bin/tl-check-fmtshare
index 341e7857aa9..d522a22c248 100755
--- a/Master/tlpkg/bin/tl-check-fmtshare
+++ b/Master/tlpkg/bin/tl-check-fmtshare
@@ -163,7 +163,7 @@ mkfmt ()
ffot=$outdir/`basename $fmt .fmt`-fmtutil.fot
#
echo "$0: running: $fcmd" >"$ffot"
- if $fcmd >>"$ffot" 2>&1; then :;
+ if $fcmd >>"$ffot" 2>&1; then :; else
echo "$0: could not get cmdline to build $fmt" >&2
echo "$0: fmtutil command failed: $fcmd" >&2
echo "$0: see transcript: $ffot" >&2