From bb28a8442daf32ba108dc4042e52eb382220c4cb Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 14 Sep 2009 22:33:51 +0000 Subject: output file name should use basecmd git-svn-id: svn://tug.org/texlive/trunk@15285 c570f23f-e606-0410-a88d-b1316a301751 --- Master/tlpkg/bin/tl-update-tlnet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Master/tlpkg') 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 -- cgit v1.2.3