diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/tlpkg/bin/tl-check-fmtshare | 21 |
1 files changed, 18 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/tl-check-fmtshare b/Master/tlpkg/bin/tl-check-fmtshare index e8e9297b375..a93883c680c 100755 --- a/Master/tlpkg/bin/tl-check-fmtshare +++ b/Master/tlpkg/bin/tl-check-fmtshare @@ -1,6 +1,11 @@ #!/bin/sh # Public domain. Originally written by Karl Berry, 2021. # Test that a .fmt file built on one system can be used on another. +# +# Invoked from karl's cron.weekly: +# tl-check-fmtshare m68:tl/Work/texk/web2c +# where m68 is a host alias for one of Nelson's machines, +# a 32-bit BigEndian m68k architecture. version='$Id$' renice 20 $$ >/dev/null 2>&1 @@ -132,6 +137,15 @@ test -d "$outdir" || mkdir "$outdir" || exit 1 # default fmt list. test -z "$fmts" && fmts=$default_fmts +prg=`basename $0` +echo "$prg: PATH=$PATH" +echo "$prg: support files directory: $Master" +echo "$prg: local engine directory: $enginedir" +echo "$prg: local output directory: $outdir" +echo "$prg: formats to build:"$fmts +echo "$prg: remote: $remotesys:$remotedir" + +# # Our function to create a format locally: # mkfmt FMT ENGINEDIR MASTERDIR OUTDIR # Generates FMT using the binary from ENGINEDIR, @@ -242,7 +256,8 @@ for fmt in $fmts; do fi #echo "$0: (`date`)" echo "$0: built fmtfile: `ls -l $fmtfile`" - echo "$0: with: $enginedir/$engine" + engineversion=`$enginedir/$engine --version | sed 1q` + echo "$0: with engine: $enginedir/$engine ($engineversion)" # The TeX \command to exit a job immediately. Assume a LaTeX fmt # if "latex" is in the name, else plain (enough). @@ -257,7 +272,7 @@ for fmt in $fmts; do scp -pq "$fmtfile" "$remotesys:$remotedir" || exit 1 # load on remote machine. - echo "$0: running $engine in $remotesys:$remotedir..." + echo "$0: running ./$engine in $remotesys:$remotedir..." # # On the remote side, we need to find a texmf.cnf or pdftex gets the # mysterious "Must increase the hyph_size"; assume the @@ -273,7 +288,7 @@ for fmt in $fmts; do ssh -n $remotesys "$remotecmd" </dev/null >>$rfot 2>&1 if test $? -ne 0; then echo "$0: *** fmt load failed on $remotesys: $fmt" >&2 - echo "$0: *** see transcript: $rfot" >&2 + echo "$0: *** transcript in: $rfot" >&2 cat $rfot >&2 exit 1 else |