From d98d88158751c12bab0cf5329381463b09374501 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Fri, 3 Jan 2014 00:34:46 +0100
Subject: [PATCH] package: added es3desktop variant to Jenkins CI
 configuration.

---
 package/ci/jenkins-gltests.xml | 1 +
 package/ci/jenkins.xml         | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/package/ci/jenkins-gltests.xml b/package/ci/jenkins-gltests.xml
index 581872d5e..c82b16118 100644
--- a/package/ci/jenkins-gltests.xml
+++ b/package/ci/jenkins-gltests.xml
@@ -70,6 +70,7 @@
         <string>es2</string>
         <string>es2desktop</string>
         <string>es3</string>
+        <string>es3desktop</string>
       </values>
     </hudson.matrix.TextAxis>
   </axes>
diff --git a/package/ci/jenkins.xml b/package/ci/jenkins.xml
index 05ed62e86..7f3efc49e 100644
--- a/package/ci/jenkins.xml
+++ b/package/ci/jenkins.xml
@@ -70,6 +70,7 @@
         <string>es2</string>
         <string>es2desktop</string>
         <string>es3</string>
+        <string>es3desktop</string>
       </values>
     </hudson.matrix.TextAxis>
   </axes>
@@ -109,6 +110,10 @@ elif [ ${gl} = "es3" ] ; then
     gl_flags="-DTARGET_GLES=ON -DTARGET_GLES2=OFF"
     desktop_flag=OFF
     windowless_flag=OFF
+elif [ ${gl} = "es3desktop" ] ; then
+    gl_flags="-DTARGET_GLES=ON -DTARGET_GLES2=OFF -DTARGET_DESKTOP_GLES=ON"
+    desktop_flag=OFF
+    windowless_flag=OFF
 fi
 
 mkdir -p build-${compiler}-${libraries}-${compatibility}-${gl}