Merge pull request #2291 from suvari/master

libmediawiki: clean unneeded options..
2016-11-09 20:37:07 +03:00
parent fba207fb6a 1d92e7df65
commit ffb03ab9e0
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()