diff options
Diffstat (limited to 'packaging/ubuntu/debian')
| -rwxr-xr-x | packaging/ubuntu/debian/rules | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/packaging/ubuntu/debian/rules b/packaging/ubuntu/debian/rules index 730b10b57..7c7c63362 100755 --- a/packaging/ubuntu/debian/rules +++ b/packaging/ubuntu/debian/rules @@ -68,7 +68,6 @@ override_dh_auto_configure: -DFORCE_LIBSSH=1 \ -DNO_PRINTING=OFF \ -DMAKE_TESTS=OFF \ - -DNO_MARBLE=ON \ $$(pwd)/.. ; ) override_dh_installchangelogs: |