diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-check-fmtshare')
-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 |