diff options
Diffstat (limited to 'c/src/exec/score/cpu/unix/cpu.c')
-rw-r--r-- | c/src/exec/score/cpu/unix/cpu.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/c/src/exec/score/cpu/unix/cpu.c b/c/src/exec/score/cpu/unix/cpu.c index de3e6a7118..e32410aa35 100644 --- a/c/src/exec/score/cpu/unix/cpu.c +++ b/c/src/exec/score/cpu/unix/cpu.c @@ -622,6 +622,7 @@ void _CPU_ISR_Handler(int vector) if (_Thread_Dispatch_disable_level == 0 && (_Context_Switch_necessary || _ISR_Signals_to_thread_executing)) { + _ISR_Signals_to_thread_executing = FALSE; _CPU_ISR_Enable(0); _Thread_Dispatch(); } |