1 /************************************************************************** 2 * 3 * Copyright 2009 VMware, Inc. 4 * Copyright 2008 Tungsten Graphics, Inc., Cedar Park, Texas. 5 * All Rights Reserved. 6 * 7 * Permission is hereby granted, free of charge, to any person obtaining a 8 * copy of this software and associated documentation files (the 9 * "Software"), to deal in the Software without restriction, including 10 * without limitation the rights to use, copy, modify, merge, publish, 11 * distribute, sub license, and/or sell copies of the Software, and to 12 * permit persons to whom the Software is furnished to do so, subject to 13 * the following conditions: 14 * 15 * The above copyright notice and this permission notice (including the 16 * next paragraph) shall be included in all copies or substantial portions 17 * of the Software. 18 * 19 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS 20 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF 21 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. 22 * IN NO EVENT SHALL TUNGSTEN GRAPHICS AND/OR ITS SUPPLIERS BE LIABLE FOR 23 * ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, 24 * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE 25 * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. 26 * 27 **************************************************************************/ 28 29 #include <windows.h> 30 31 #define WGL_WGLEXT_PROTOTYPES 32 33 #include <GL/gl.h> 34 #include <GL/wglext.h> 35 #include "util/u_debug.h" 36 37 /* A dummy implementation of this extension. 38 * 39 * Required as some applications retrieve and call these functions 40 * regardless of the fact that we don't advertise the extension and 41 * further more the results of wglGetProcAddress are NULL. 42 */ 43 WINGDIAPI BOOL APIENTRY 44 wglSwapIntervalEXT(int interval) 45 { 46 (void) interval; 47 debug_printf("%s: %d\n", __FUNCTION__, interval); 48 return TRUE; 49 } 50 51 WINGDIAPI int APIENTRY 52 wglGetSwapIntervalEXT(void) 53 { 54 return 0; 55 } 56 57 58