# HG changeset patch
# User ramiro
# Date 1205002855 0
# Node ID ca53e89f3448ae08b13facfac0933f5061a82ef5
# Parent  d39f51044b17db59d8902b337a0a99a18301263f
Define WIN32_LEAN_AND_MEAN before including windows.h to exclude
rarely-used header files.

diff -r d39f51044b17 -r ca53e89f3448 os_support.h
--- a/os_support.h	Sat Mar 08 18:59:45 2008 +0000
+++ b/os_support.h	Sat Mar 08 19:00:55 2008 +0000
@@ -28,6 +28,7 @@
  */
 
 #ifdef __MINGW32__
+#  define WIN32_LEAN_AND_MEAN
 #  include <windows.h>
 #  define usleep(t)    Sleep((t) / 1000)
 #  include <fcntl.h>