summaryrefslogtreecommitdiff
path: root/Build/source/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-06-20 23:15:42 +0000
committerKarl Berry <karl@freefriends.org>2011-06-20 23:15:42 +0000
commit9c51fa0fde020896fb3764982e152f2295b4f693 (patch)
treebbbaad8a91d9838c33bf001fb21ecba4763f39ec /Build/source/Build
parent99fa77101fb8b50e4e107b493655692ca1479192 (diff)
report final exit status
git-svn-id: svn://tug.org/texlive/trunk@23074 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-xBuild/source/Build5
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/Build b/Build/source/Build
index 9572ca0937f..76d72dc539c 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -124,6 +124,7 @@ if test -d "$bindir"; then
# Any errors will have been duly reported anyway.
fi
-echo done `date` | tee -a build.log
+status=`cat exitstatus.txt`
+echo "done (exit status $status)" `date` | tee -a build.log
-exit `cat exitstatus.txt`
+exit $status