diff options
author | Karl Berry <karl@freefriends.org> | 2011-06-20 23:15:42 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-06-20 23:15:42 +0000 |
commit | 9c51fa0fde020896fb3764982e152f2295b4f693 (patch) | |
tree | bbbaad8a91d9838c33bf001fb21ecba4763f39ec /Build | |
parent | 99fa77101fb8b50e4e107b493655692ca1479192 (diff) |
report final exit status
git-svn-id: svn://tug.org/texlive/trunk@23074 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/Build | 5 | ||||
-rw-r--r-- | Build/source/ChangeLog | 4 |
2 files changed, 7 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 diff --git a/Build/source/ChangeLog b/Build/source/ChangeLog index c07f6654ea3..a9ace200b98 100644 --- a/Build/source/ChangeLog +++ b/Build/source/ChangeLog @@ -1,3 +1,7 @@ +2011-06-21 Karl Berry <karl@tug.org> + + * Build: report final exit status. + 2011-04-14 Peter Breitenlohner <peb@mppmu.mpg.de> * Makefile.am, configure.ac: Conditional 'cross_compiling' => |