diff options
| author | michal <michal@michal-laptop.(none)> | 2007-07-27 10:05:40 +0200 |
|---|---|---|
| committer | michal <michal@michal-laptop.(none)> | 2007-07-27 10:05:40 +0200 |
| commit | e0a26b046764ae80748b347395ab1b27de83651e (patch) | |
| tree | ea702756a3e9cedc3b3c41241cbff0956ddc82bc /src/glut/glx/win32_winproc.c | |
| parent | 0360b49afbcd839f99ba0745d01cf9dc5be4d122 (diff) | |
| parent | e3cef5887540016a6d198598cb50bebe09e3f4cf (diff) | |
Merge branch 'master' of git+ssh://[email protected]/git/mesa/mesa into softpipe_0_1_branch
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. */ |