From 272a195bc4d5e96e6624e56cb4c6fcafe33b2ab7 Mon Sep 17 00:00:00 2001 From: Jonas Karlman Date: Wed, 1 Nov 2017 22:57:41 +0100 Subject: [PATCH] kodi: add rkmpp support --- packages/mediacenter/kodi/package.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/mediacenter/kodi/package.mk b/packages/mediacenter/kodi/package.mk index e2cf42dad7..213ef7f8a4 100644 --- a/packages/mediacenter/kodi/package.mk +++ b/packages/mediacenter/kodi/package.mk @@ -189,7 +189,7 @@ if [ ! "$KODIPLAYER_DRIVER" = default ]; then PKG_DEPENDS_TARGET="$PKG_DEPENDS_TARGET $KODIPLAYER_DRIVER" if [ "$KODIPLAYER_DRIVER" = bcm2835-driver ]; then KODI_PLAYER="-DCORE_PLATFORM_NAME=rbpi" - elif [ "$KODIPLAYER_DRIVER" = mesa ]; then + elif [ "$KODIPLAYER_DRIVER" = mesa -o "$KODIPLAYER_DRIVER" = rkmpp ]; then KODI_PLAYER="-DCORE_PLATFORM_NAME=gbm" CFLAGS="$CFLAGS -DMESA_EGL_NO_X11_HEADERS" CXXFLAGS="$CXXFLAGS -DMESA_EGL_NO_X11_HEADERS"