diff options
-rw-r--r-- | cpukit/score/src/threadrestart.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cpukit/score/src/threadrestart.c b/cpukit/score/src/threadrestart.c index 21e260b10b..32ecfba65d 100644 --- a/cpukit/score/src/threadrestart.c +++ b/cpukit/score/src/threadrestart.c @@ -357,6 +357,10 @@ void _Thread_Life_action_handler( _Thread_Make_zombie( executing ); + /* FIXME: Workaround for https://devel.rtems.org/ticket/2751 */ + cpu_self->dispatch_necessary = true; + + _Assert( cpu_self->heir != executing ); _Thread_Dispatch_enable( cpu_self ); RTEMS_UNREACHABLE(); } |