summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xBuild/source/Build5
-rw-r--r--Build/source/ChangeLog4
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' =>