aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rwxr-xr-xdebian/rules2
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index a20be4bb..76f08c3b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -4,7 +4,9 @@
dh $@ --buildsystem=pybuild
override_dh_auto_test:
+ifeq ($(filter nocheck,$(DEB_BUILD_OPTIONS)),)
make
+endif
execute_after_dh_auto_build:
make docs