webkit2gtk3/webkitgtk-gstreamer-gl-build-fix.patch

30 lines
1.2 KiB
Diff

diff -urp webkitgtk-2.24.0.orig/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamerBase.cpp webkitgtk-2.24.0/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamerBase.cpp
--- webkitgtk-2.24.0.orig/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamerBase.cpp 2019-03-13 04:21:39.000000000 -0500
+++ webkitgtk-2.24.0/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamerBase.cpp 2019-03-26 17:38:02.621708276 -0500
@@ -29,7 +29,6 @@
#include "GStreamerCommon.h"
#include "GraphicsContext.h"
-#include "GraphicsContext3D.h"
#include "ImageGStreamer.h"
#include "ImageOrientation.h"
#include "IntRect.h"
@@ -117,6 +116,7 @@
#if USE(TEXTURE_MAPPER_GL)
#include "BitmapTextureGL.h"
#include "BitmapTexturePool.h"
+#include "GraphicsContext3D.h"
#include "TextureMapperContextAttributes.h"
#include "TextureMapperGL.h"
#include "TextureMapperPlatformLayerBuffer.h"
@@ -191,6 +191,9 @@ public:
if (m_isMapped)
m_textureID = *reinterpret_cast<GLuint*>(m_videoFrame.data[0]);
} else
+#else
+ UNUSED_PARAM(gstGLEnabled);
+ UNUSED_PARAM(flags);
#endif // USE(GSTREAMER_GL)
{