diff options
| author | Karl Berry <karl@freefriends.org> | 2008-03-08 23:19:04 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2008-03-08 23:19:04 +0000 |
| commit | 528aaa7971899a4d43d0b074b87872929e004cf9 (patch) | |
| tree | 2ee882ec6809a67beed9d27caacc93c9c17e53e0 /Build/source | |
| parent | fd6a3b9fb2ea3e06f2d976ce5c32ffaeaa989ee6 (diff) | |
exit if no binaries.
git-svn-id: svn://tug.org/texlive/trunk@6901 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rwxr-xr-x | Build/source/Build | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Build/source/Build b/Build/source/Build index 7c06e066f7a..144703d59a1 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -72,4 +72,12 @@ export GNUMAKE && eval $TL_BUILD_ENV time $TL_MAKE $TL_TARGET 2>&1 | tee make.log) # report the number of binaries built. -ls $TL_INSTALL_DEST/bin/*/* | wc -l +bindir=$TL_INSTALL_DEST/bin +count=`ls $bindir/*/* | wc -l` +if test "$count" -gt 0; then + echo "$0: $count binaries under $bindir." +else + echo "$0: Build failed, no binaries under $bindir." + exit 1 +fi + |