Merge pull request #2889 from groni/master

webkit-gtk2 change actions.py
2017-02-18 19:19:34 +01:00
parent 4ca896e9cd 0b060287b0
commit 725182d68c
1 changed files with 2 additions and 3 deletions
@@ -37,8 +37,7 @@ def setup():
                        --enable-x11-target \
                        --enable-video \
                        --enable-web-audio \
-                        --enable-introspection \
+                        --enable-introspection")
                        ")
    pisitools.dosed("libtool", " -shared ", " -Wl,-O1,--as-needed -shared ")