diff options
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 541660cfe..d6c2dfa22 100755 --- a/debian/rules +++ b/debian/rules @@ -97,7 +97,11 @@ build/configure-stamp: configure build/build-stamp: build/configure-stamp # Add here commands to compile the package. $(MAKE) binary +ifeq (,$(findstring nocheck, $(DEB_BUILD_OPTIONS))) $(MAKE) test +else + @echo "Tests DISABLED" +endif touch $@ build/build-doc-stamp: build/configure-stamp |