diff options
-rwxr-xr-x | debian/rules | 2 |
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 |