diff options
author | Dmitry Bogatov <KAction@debian.org> | 2019-03-20 13:22:42 +0000 |
---|---|---|
committer | Dmitry Bogatov <KAction@debian.org> | 2019-03-20 13:23:36 +0000 |
commit | 365f18bb70df268de5933176e55f4315295b62c7 (patch) | |
tree | 1a153fadf48e316fef9572548a7e3e1904c11d9a /debian/rules | |
parent | ae854e3eaaadcc0328dfada9d68dbd66a9a5c9ac (diff) |
Make build system respect `nocheck' option.
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 55acc2a..6f65fce 100755 --- a/debian/rules +++ b/debian/rules | |||
@@ -6,6 +6,3 @@ | |||
6 | override_dh_installman: | 6 | override_dh_installman: |
7 | pod2man dh_runit dh_runit.1 | 7 | pod2man dh_runit dh_runit.1 |
8 | dh_installman | 8 | dh_installman |
9 | |||
10 | override_dh_auto_test: | ||
11 | prove | ||