kodi: use CORE_PLATFORM_NAME for RPi

This commit is contained in:
MilhouseVH 2017-08-07 18:27:09 +01:00
parent ac4187c51f
commit 611ff5b038

View File

@ -186,7 +186,7 @@ fi
if [ ! "$KODIPLAYER_DRIVER" = default ]; then if [ ! "$KODIPLAYER_DRIVER" = default ]; then
PKG_DEPENDS_TARGET="$PKG_DEPENDS_TARGET $KODIPLAYER_DRIVER" PKG_DEPENDS_TARGET="$PKG_DEPENDS_TARGET $KODIPLAYER_DRIVER"
if [ "$KODIPLAYER_DRIVER" = bcm2835-driver ]; then if [ "$KODIPLAYER_DRIVER" = bcm2835-driver ]; then
KODI_PLAYER="-DCORE_SYSTEM_NAME=rbpi" KODI_PLAYER="-DCORE_PLATFORM_NAME=rbpi"
elif [ "$KODIPLAYER_DRIVER" = mesa ]; then elif [ "$KODIPLAYER_DRIVER" = mesa ]; then
KODI_PLAYER="-DCORE_PLATFORM_NAME=gbm" KODI_PLAYER="-DCORE_PLATFORM_NAME=gbm"
CFLAGS="$CFLAGS -DMESA_EGL_NO_X11_HEADERS" CFLAGS="$CFLAGS -DMESA_EGL_NO_X11_HEADERS"