From cbe20b26daece1920a195c65e06fc1e8e88100d0 Mon Sep 17 00:00:00 2001
From: Sam Hocevar <sam@hocevar.net>
Date: Mon, 25 Jan 2010 12:40:18 +0000
Subject: [PATCH] Don't fail the check-build test if documentation was not
 built.

---
 test/check-build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/check-build b/test/check-build
index 03b25d2..17503b5 100755
--- a/test/check-build
+++ b/test/check-build
@@ -54,13 +54,13 @@ fi
 #
 # Check for Doxygen errors
 #
-warnings="$(grep -c Warning: ../doc/doxygen.log)"
+warnings="$(grep -c Warning: ../doc/doxygen.log 2>/dev/null || echo 0)"
 if test "$warnings" != "0"; then
   echo "error: $warnings warnings in Doxygen generation:"
   grep Warning: ../doc/doxygen.log | sed 's/\(.\{75\}\)...*/\1 .../'
   ret=1
 else
-  echo "0 errors in documentation"
+  echo "0 visible errors in documentation"
 fi
 
 if test "$ret" != "0"; then