diff options
Diffstat (limited to 'rts/Task.h')
| -rw-r--r-- | rts/Task.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Task.h b/rts/Task.h index cc450a74a1..3b7a08ee96 100644 --- a/rts/Task.h +++ b/rts/Task.h @@ -170,6 +170,7 @@ extern Task *all_tasks; // void initTaskManager (void); void stopTaskManager (void); +void freeTaskManager (void); // Create a new Task for a bound thread // Requires: sched_mutex. |