[SCM] Debian packaging of texinfo) branch, master, updated. debian/5.1.dfsg.1-3-2-gdfa3844

["Norbert Preining" <preining@debian.org>]

The following commit has been merged in the master branch:
commit 14d096e2d686657658ca7ebc5d5d2b078cc3e7a1
Author: Norbert Preining <preining@debian.org>
Date:   Sat May 11 11:17:45 2013 +0900

    honor nocheck DEB_BUILD_OPTIONS (Closes: #707652)

diff --git a/debian/rules b/debian/rules
index bdb0908..3f86925 100755
--- a/debian/rules
+++ b/debian/rules
@@ -26,7 +26,9 @@ build-stamp:
 	touch $@
 
 check-stamp: build-stamp
+ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
 	$(MAKE) check ALL_TESTS=yes
+endif
 	touch $@
 
 clean:

-- 
Debian packaging of texinfo)