drivers/timers_win32/timers_win32.c
changeset 575 18db803e593f
parent 571 6eddab0b7ca8
child 577 0bb82be64630
--- 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;