diff options
Diffstat (limited to 'cpukit/score/src/threadrestart.c')
| -rw-r--r-- | cpukit/score/src/threadrestart.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/score/src/threadrestart.c b/cpukit/score/src/threadrestart.c index 422ee33a6d..9cf2a85165 100644 --- a/cpukit/score/src/threadrestart.c +++ b/cpukit/score/src/threadrestart.c @@ -107,7 +107,7 @@ static void _Thread_Wait_for_execution_stop( Thread_Control *the_thread ) * in case the thread termination sequence is interrupted by a slow interrupt * service on a remote processor. */ - while (the_thread->is_executing) { + while ( _Thread_Is_executing_on_a_processor( the_thread ) ) { /* Wait */ } #else |