--- a/drivers/timers_win32/timers_win32.c Mon Jul 20 10:55:11 2009 +0200
+++ b/drivers/timers_win32/timers_win32.c Mon Jul 20 10:56:08 2009 +0200
@@ -38,7 +38,7 @@
HANDLE timer_thread = NULL;
HANDLE timer = NULL;
-stop_timer=0;
+int stop_timer=0;
static TimerCallback_t init_callback;