diff --git a/debian/rules b/debian/rules index 24752f4e..5affa928 100755 --- a/debian/rules +++ b/debian/rules @@ -478,6 +478,7 @@ ifneq (,$(filter coverity,$(DEB_BUILD_OPTIONS))) # no need to run tests in this case RUN_TEST=no SCCACHE_ENABLE=no + SCCACHE_CMAKE= else COVERITY_ENABLE=0 endif