diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index db2ddc0f..55cd0491 100755 --- a/debian/rules +++ b/debian/rules @@ -82,8 +82,10 @@ endif .PHONY: override_dh_auto_test override_dh_auto_test: +ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS))) CAML_LD_LIBRARY_PATH=$PWD/kernel/byterun COQLIB=$PWD \ $(MAKE) test-suite COMPLEXITY= +endif .PHONY: override_dh_auto_install override_dh_auto_install: |