From a68743ba1518e3036f8f3d338d4319085a7a2f2f Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Fri, 20 Oct 2017 21:23:18 -0400 Subject: Remove last hints of Marble Signed-off-by: Dirk Hohndel --- packaging/ubuntu/debian/rules | 1 - 1 file changed, 1 deletion(-) (limited to 'packaging/ubuntu/debian/rules') 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: -- cgit v1.2.3-70-g09d2