diff options
| -rwxr-xr-x | dist/debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/debian/rules b/dist/debian/rules index ba54f4b28..aaba43668 100755 --- a/dist/debian/rules +++ b/dist/debian/rules @@ -37,7 +37,7 @@ override_dh_auto_configure: -DWANT_ESD=OFF -DWANT_OSS=OFF \ -DWANT_STRIP=OFF \ -DMANUAL_REVISION="$(REV)" -DMANUAL_SOURCES_DATE=$(DATE)\ - -DLIB_SUFFIX="/$(DEB_HOST_MULTIARCH)" + -DLIB_SUFFIX="/$(DEB_HOST_MULTIARCH)"-DCMAKE_VERBOSE_MAKEFILE=False override_dh_install: set -e; for file in $(NOT_INSTALLED); do rm debian/tmp/$$file; done |