From f5390d3ab623be358dce4ab8b3599e697451730a Mon Sep 17 00:00:00 2001 From: Tomas Popela Date: Oct 27 2016 13:10:28 +0000 Subject: Fix the build --- diff --git a/webkitgtk-2.14.1-user-agent-branding.patch b/webkitgtk-2.14.1-user-agent-branding.patch index 26b70a1..d2dbd86 100644 --- a/webkitgtk-2.14.1-user-agent-branding.patch +++ b/webkitgtk-2.14.1-user-agent-branding.patch @@ -5,7 +5,7 @@ diff -up webkitgtk-2.14.1/Source/WebCore/platform/gtk/UserAgentGtk.cpp.orig webk else { uaString.append(platformForUAString()); uaString.appendLiteral("; "); -+#if defined(USER_AGENT_GTK_DISTRIBUTOR_NAME) && USER_AGENT_GTK_DISTRIBUTOR_NAME ++#if defined(USER_AGENT_GTK_DISTRIBUTOR_NAME) + uaString.appendLiteral(USER_AGENT_GTK_DISTRIBUTOR_NAME "; "); +#endif uaString.append(platformVersionForUAString());