diff options
| author | Zhang <[email protected]> | 2007-07-21 11:28:06 -0600 |
|---|---|---|
| committer | Brian <[email protected]> | 2007-07-21 11:28:06 -0600 |
| commit | 76fb8089103e9dba9aaa7232c86d864d5874a08f (patch) | |
| tree | 1baf4612b24db10a597542b4fcdc33f8cc14ed6d /src/glut/glx/win32_winproc.c | |
| parent | af2aa8e9cf88a9ee3ec338eddc9a47bf2f142cb7 (diff) | |
Fix a number of MINGW32 issues
Diffstat (limited to 'src/glut/glx/win32_winproc.c')
| -rw-r--r-- | src/glut/glx/win32_winproc.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/glut/glx/win32_winproc.c b/src/glut/glx/win32_winproc.c index a54bac75fa0..e1fc785ebb7 100644 --- a/src/glut/glx/win32_winproc.c +++ b/src/glut/glx/win32_winproc.c @@ -9,6 +9,9 @@ #include "glutint.h" #include <sys/timeb.h> +#ifdef __MINGW32__ +#include <ctype.h> +#endif #if defined(_WIN32) && !defined(__CYGWIN32__) #include <mmsystem.h> /* Win32 Multimedia API header. */ |