Removed duplicate configure switch for webkitgtk.
authorAndrej Kacian <andrej@kacian.sk>
Sun, 26 Mar 2017 13:50:46 +0000 (15:50 +0200)
committerAndrej Kacian <andrej@kacian.sk>
Sun, 26 Mar 2017 13:50:46 +0000 (15:50 +0200)
src/Makefile.am

index cba7e7ffd959602b447db29d28c005687753a4a0..3b306f3f67a1311a8af189a71a34c71f3da5c867 100644 (file)
@@ -342,7 +342,6 @@ cm_pkg_webkitgtk_configure = \
                 --disable-gtk-doc-html \
                                                                --disable-svg-fonts \
                                                                --disable-jit \
-                --disable-silent-rules \
                 --disable-video \
                                                                --disable-web-audio \
                                                                --disable-battery-status \