diff options
author | Stephane Glondu <steph@glondu.net> | 2021-08-29 13:11:55 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2021-08-29 13:16:14 +0200 |
commit | 13996d94f0724b3ed0baac8449fe2d8dc7c03d14 (patch) | |
tree | f9a48a73c37b8834ed9225c83c34b70ff9df9ea9 | |
parent | da5808df748735d493db0ecf5c14f172f300237d (diff) |
Check DEB_BUILD_OPTIONS in override_dh_auto_test
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 0f10899..d285b6e 100755 --- a/debian/rules +++ b/debian/rules @@ -11,7 +11,9 @@ override_dh_auto_build: dune build -p ldap override_dh_auto_test: +ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS))) dune runtest -p ldap +endif override_dh_auto_install: dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=..$(OCAML_STDLIB_DIR) ldap |