mark system_ticks as volatile as it is updated from ISR context

This commit is contained in:
Matthias Ringwald 2015-09-21 17:56:38 +02:00
parent 128d60345e
commit b0f22fb96d

View File

@ -83,7 +83,7 @@ static linked_list_t timers;
#endif
#ifdef HAVE_TICK
static uint32_t system_ticks;
static volatile uint32_t system_ticks;
#endif
static int trigger_event_received = 0;