libmediawiki: clean unneeded options..

2016-11-09 20:31:31 +02:00
parent c9928f1087
commit 1d92e7df65
1 changed files with 1 additions and 2 deletions
@@ -8,8 +8,7 @@ from pisi.actionsapi import pisitools
 def setup():
-    kde5.configure("-DCMAKE_BUILD_TYPE=Release \
+    kde5.configure()
                    -DCMAKE_INSTALL_PREFIX=/usr")
 def build():
    kde5.make()