diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-10-20 21:23:18 -0400 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-10-20 21:23:18 -0400 |
| commit | a68743ba1518e3036f8f3d338d4319085a7a2f2f (patch) | |
| tree | 513d655a3e54ae88301e311a048aa616f35d1b5a /packaging/ubuntu | |
| parent | 4287cd4a2d82f67d066f2364433f678d52ced41e (diff) | |
| download | subsurface-a68743ba1518e3036f8f3d338d4319085a7a2f2f.tar.gz | |
Remove last hints of Marble
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'packaging/ubuntu')
| -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: |