diff options
Diffstat (limited to 'cpukit/rtems/src/tasks.c')
-rw-r--r-- | cpukit/rtems/src/tasks.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpukit/rtems/src/tasks.c b/cpukit/rtems/src/tasks.c index bbd9ff0dd8..5fdff2db18 100644 --- a/cpukit/rtems/src/tasks.c +++ b/cpukit/rtems/src/tasks.c @@ -103,6 +103,8 @@ User_extensions_routine _RTEMS_tasks_Delete_extension( deleted->task_variables = NULL; while (tvp) { next = tvp->next; + if (tvp->dtor) + (*tvp->dtor)( tvp->ptr ); _Workspace_Free( tvp ); tvp = next; } |