yelp-check: Return non-zero for broken hrefs

https://bugzilla.gnome.org/show_bug.cgi?id=726763

1 files changed, 7 insertions, 1 deletions

diff --git a/tools/yelp-check.in b/tools/yelp-check.in
index dedafab..7cb0d95 100755
--- a/tools/yelp-check.in
+++ b/tools/yelp-check.in
@@ -280,6 +280,7 @@ yelp_hrefs () {
         yelp_usage_hrefs
         exit 1
     fi
+    check_out_file=`mktemp "${TMPDIR:-/tmp}"/yelp-XXXXXXXX`
     for xml in "$@"; do
         if [ -d "$xml" ]; then
             for page in "$xml"/*.page; do
@@ -303,7 +304,12 @@ yelp_hrefs () {
             (curl -s -I -L "$url" | grep '^HTTP/' | tail -n 1 | head -n 1 | grep -q 'HTTP/.\.. 200 .*') ||
             echo "$id: $url"
         fi
-    done
+    done > "$check_out_file"
+    ret=`cat "$check_out_file" | wc -l`
+    if test "x$ret" != "x0"; then ret="1"; fi
+    cat "$check_out_file"
+    rm "$check_out_file"
+    exit $ret
 }
 
 yelp_ids_page () {