From d1e6851ad63caca1829a5a975071721c6b2b7c56 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Wed, 16 Mar 2016 22:51:11 +0000 Subject: check for exitstatus.txt not having an exit status git-svn-id: svn://tug.org/texlive/trunk@40049 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/Build | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Build/source/Build b/Build/source/Build index 2389a106968..642ad3e8ba9 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -150,6 +150,10 @@ if test -d "$bindir"; then fi status=`cat exitstatus.txt` +if echo "$status | egrep '^[0-9]+$' >/dev/null; then :; else + echo "$0: exitstatus.txt does not contain a number; disk full?" >&2 + status=1 +fi echo "done (exit status $status)" `date` | tee -a build.log exit $status -- cgit v1.2.3