diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/debian/rules b/debian/rules index d4e9600a2..516e5e31f 100755 --- a/debian/rules +++ b/debian/rules @@ -11,7 +11,7 @@ export DPKG_GENSYMBOLS_CHECK_LEVEL=0 export CTEST_OUTPUT_ON_FAILURE=1 %: - dh $@ + dh $@ --buildsystem=cmake+ninja override_dh_clean: cp COPYING debian/copyright @@ -45,5 +45,3 @@ override_dh_auto_configure-indep: flags=-DWITH_DOC=ON override_dh_auto_configure-arch override_dh_auto_configure-indep: dh_auto_configure -- $(flags) -override_dh_auto_build: - dh_auto_build -- -O |