diff options
-rwxr-xr-x | Master/tlpkg/bin/tl-update-tlnet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-tlnet b/Master/tlpkg/bin/tl-update-tlnet index 65ba049d4ec..e579f73db36 100755 --- a/Master/tlpkg/bin/tl-update-tlnet +++ b/Master/tlpkg/bin/tl-update-tlnet @@ -175,7 +175,7 @@ if test $failure = false; then cmdname=`echo "$cmd" | awk '{print $1}'` basecmd=`basename $cmdname` echo "$0: Running $basecmd ($cmd)" - outfile=/tmp/tlcheck.`echo "$cmd" | awk '{print $1}'` + outfile=/tmp/tlcheck.tlnet-$basecmd if $cmd >$outfile 2>&1; then :; else echo "$0: $basecmd failed ($cmd):" >&2 sed 8q $outfile >&2 |