diff options
| author | Julian Andres Klode <julian.klode@canonical.com> | 2018-04-17 16:34:49 +0200 |
|---|---|---|
| committer | Julian Andres Klode <julian.klode@canonical.com> | 2018-04-17 16:35:25 +0200 |
| commit | 668553634463bd69291db42bfd825684aef991c3 (patch) | |
| tree | 7d7567cb24145c01eec8bbdd666a355acb080184 /debian/rules | |
| parent | 3e2998a560514826d8c910261407975f8c9660d4 (diff) | |
Build with cmake+ninja instead of cmake+make
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 |