diff options
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 8ff7728..d2651b5 100755 --- a/debian/rules +++ b/debian/rules @@ -29,6 +29,10 @@ build-stamp: configure-stamp $(MAKE) $(MAKEFLAGS) +ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS))) + $(MAKE) check +endif + touch $@ clean: |