From 1d92e7df653ccc7147b7d57ad906951b77c4feef Mon Sep 17 00:00:00 2001 From: suvari Date: Wed, 9 Nov 2016 20:31:31 +0200 Subject: [PATCH] libmediawiki: clean unneeded options.. --- desktop/kde/applications/libmediawiki/actions.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/desktop/kde/applications/libmediawiki/actions.py b/desktop/kde/applications/libmediawiki/actions.py index 97cb594132..95a8a84b45 100644 --- a/desktop/kde/applications/libmediawiki/actions.py +++ b/desktop/kde/applications/libmediawiki/actions.py @@ -8,8 +8,7 @@ from pisi.actionsapi import pisitools def setup(): - kde5.configure("-DCMAKE_BUILD_TYPE=Release \ - -DCMAKE_INSTALL_PREFIX=/usr") + kde5.configure() def build(): kde5.make()