diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules index 853a495..3f77614 100755 --- a/debian/rules +++ b/debian/rules @@ -19,6 +19,3 @@ override_dh_auto_test: override_dh_auto_install: dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=..$(OCAML_STDLIB_DIR) rm -f $(DESTDIR)/usr/doc/sqlite3/LICENSE.md - -override_dh_missing: - dh_missing --fail-missing |