diff options
author | Karl Berry <karl@freefriends.org> | 2021-07-25 18:05:31 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-07-25 18:05:31 +0000 |
commit | 67bab1444fb849ae3225b5674bba43ecc68c0f83 (patch) | |
tree | 5db5041df05d573f8e272a98c7a6435d6bc9b6c0 /Master/tlpkg | |
parent | 4605c296898dc8fa29423271a085e2b6ed97eb77 (diff) |
make --dry-run drier
git-svn-id: svn://tug.org/texlive/trunk@60056 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tl-check-fmtshare | 2 |
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 |