ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Thread: minor space optimisation

pull/12425/head
Kevin Bracey 2020-02-12 16:22:32 +02:00
parent 2c4e59012f
commit 4f2fa53b37
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rtos/Thread.h
View File

@ -271,10 +271,10 @@ private:
osThreadId_t _tid; osThreadId_t _tid;
osThreadAttr_t _attr; osThreadAttr_t _attr;
bool _dynamic_stack; bool _dynamic_stack;
bool _finished;
Semaphore _join_sem; Semaphore _join_sem;
mutable Mutex _mutex; mutable Mutex _mutex;
mbed_rtos_storage_thread_t _obj_mem; mbed_rtos_storage_thread_t _obj_mem;
bool _finished;
}; };
/** @}*/ /** @}*/
/** @}*/ /** @}*/