diff --git a/debian/rules b/debian/rules
index 9296d1515d69ec46b4f40a81b853f5fca5c2c0e1..c77ceda48e3681e47e6e3cd5dec861ec315b9672 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
CFLAGS += -O2
endif
+CHECK = check
+
+ifneq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS)))
+ CHECK =
+endif
+
config.status: configure
dh_testdir
./configure --host=$(DEB_HOST_GNU_TYPE) \
dh_testdir
$(MAKE)
+ test -z '$(CHECK)' || make $(CHECK)
touch build-stamp