diff options
Diffstat (limited to 'Build/source/Build')
-rwxr-xr-x | Build/source/Build | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/Build/source/Build b/Build/source/Build index ee29204a69a..a3c6641df73 100755 --- a/Build/source/Build +++ b/Build/source/Build @@ -120,16 +120,20 @@ cd $TL_WORKDIR || exit 1 } 2>&1 | tee build.log -# report the number of binaries built. +# if we have a bindir, report the number of binaries built. bindir=$TL_INSTALL_DEST/bin -count=`find $bindir \! -type d -print | wc -l` -if test "$count" -gt 0; then - echo - echo "$0: $count executables in $bindir." -else - echo "$0: Build failed, no executables under $bindir." - exit 1 -fi | tee -a build.log +if test -d "$bindir"; then + count=`find "$bindir" \! -type d -print | wc -l` + if test "$count" -gt 0; then + echo + echo "$0: $count executables in $bindir." + else + echo "$0: Build failed, no executables under $bindir." + exit 1 + fi | tee -a build.log +# if no bindir, perhaps they specified --prefix; don't worry. +# Any errors will have been duly reported anyway. +fi echo done `date` | tee -a build.log |