summaryrefslogtreecommitdiff
path: root/Build/source/Build
diff options
context:
space:
mode:
authorMojca Miklavec <mojca.miklavec@gmail.com>2016-03-17 01:20:14 +0000
committerMojca Miklavec <mojca.miklavec@gmail.com>2016-03-17 01:20:14 +0000
commit61d3aa02e90466d96792c06aca5c1567d576d8b4 (patch)
treeb8fce947800e747e224f922810b1922dab39e147 /Build/source/Build
parenta9987369125a138a236c5d31affb3ea7535be106 (diff)
fix a typo from r40049 in 'Build'
git-svn-id: svn://tug.org/texlive/trunk@40051 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-xBuild/source/Build2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/Build b/Build/source/Build
index 642ad3e8ba9..1cc955f83d5 100755
--- a/Build/source/Build
+++ b/Build/source/Build
@@ -150,7 +150,7 @@ if test -d "$bindir"; then
fi
status=`cat exitstatus.txt`
-if echo "$status | egrep '^[0-9]+$' >/dev/null; then :; else
+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