diff options
author | Mojca Miklavec <mojca.miklavec@gmail.com> | 2016-03-17 01:20:14 +0000 |
---|---|---|
committer | Mojca Miklavec <mojca.miklavec@gmail.com> | 2016-03-17 01:20:14 +0000 |
commit | 61d3aa02e90466d96792c06aca5c1567d576d8b4 (patch) | |
tree | b8fce947800e747e224f922810b1922dab39e147 /Build/source/Build | |
parent | a9987369125a138a236c5d31affb3ea7535be106 (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-x | Build/source/Build | 2 |
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 |