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 d9d339fba47..c692a6885b9 100755 --- a/Master/tlpkg/bin/tl-check-fmtshare +++ b/Master/tlpkg/bin/tl-check-fmtshare @@ -255,7 +255,7 @@ for fmt in $fmts; do exit 1 fi #echo "$0: (`date`)" - echo "$0: built fmtfile: `ls -l $fmtfile`" (on `hostname`) + echo "$0: built fmtfile: `ls -l $fmtfile` (on `hostname`)" engineversion=`$enginedir/$engine --version | sed 1q` echo "$0: with engine: $enginedir/$engine ($engineversion)" |