From a26b8fdceb8c82ec0e56cac25395abf71f6a8f07 Mon Sep 17 00:00:00 2001
From: Julien Isorce <julien.isorce@collabora.co.uk>
Date: Mon, 17 Mar 2014 12:32:26 +0000
Subject: [PATCH] gl: set HAVE_EGL_RPI to yes if HAVE_GL and RPI

Which fixes build on Raspberry Pi since -gl has been moved to -bad
---
 configure.ac | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index c81e6e8b89..3d3c5876e9 100644
--- a/configure.ac
+++ b/configure.ac
@@ -705,7 +705,11 @@ HAVE_GLES2=no
 HAVE_GLU=no
 HAVE_GNUSTEP_COCOA=no
 HAVE_WAYLAND_EGL=no
-HAVE_EGL_RPI=no
+
+HAVE_EGL_RPI="no"
+if test x"$HAVE_EGL" = x"yes" -a x"$EGL_WINDOW_SYSTEM" = x"rpi"; then
+HAVE_EGL_RPI="yes"
+fi
 
 case $host in
   *-mingw32* )