package: added es3desktop variant to Jenkins CI configuration.

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>

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}