diff options
| author | gregor herrmann <gregoa@debian.org> | 2018-02-15 20:02:57 +0100 |
|---|---|---|
| committer | gregor herrmann <gregoa@debian.org> | 2018-02-15 20:02:57 +0100 |
| commit | b2dba46e3ed5319dbbaa9496dc41ace24024bacb (patch) | |
| tree | b1a60d3b01ac7f6ea0d8d707798f2be10b844c5b | |
| parent | 1a22c33e56a191c8e2679e79b30a2a212dca944f (diff) | |
Honour DEB_BUILD_OPTIONS=nocheck in debian/rules.
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 830a824..686addd 100755 --- a/debian/rules +++ b/debian/rules @@ -4,4 +4,6 @@ dh $@ override_dh_auto_test: +ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS))) -make -j1 test TEST_VERBOSE=1 +endif |