Allow OS_THREAD_LIBSPACE_NUM as a macro

pull/11571/head
Ari Parkkila 2019-09-26 04:33:53 -07:00
parent 698e75f336
commit ed4b948d8e
3 changed files with 7 additions and 0 deletions

View File

@ -82,7 +82,9 @@
// Provide Mbed-specific instead. // Provide Mbed-specific instead.
#define RTX_NO_MULTITHREAD_CLIB #define RTX_NO_MULTITHREAD_CLIB
// LIBSPACE default value set for ARMCC // LIBSPACE default value set for ARMCC
#ifndef OS_THREAD_LIBSPACE_NUM
#define OS_THREAD_LIBSPACE_NUM 4 #define OS_THREAD_LIBSPACE_NUM 4
#endif
#define OS_IDLE_THREAD_NAME "rtx_idle" #define OS_IDLE_THREAD_NAME "rtx_idle"
#define OS_TIMER_THREAD_NAME "rtx_timer" #define OS_TIMER_THREAD_NAME "rtx_timer"

View File

@ -568,7 +568,9 @@
// Number of Threads which use standard C/C++ library libspace // Number of Threads which use standard C/C++ library libspace
// (when thread specific memory allocation is not used). // (when thread specific memory allocation is not used).
#if (OS_THREAD_OBJ_MEM == 0) #if (OS_THREAD_OBJ_MEM == 0)
#ifndef OS_THREAD_LIBSPACE_NUM
#define OS_THREAD_LIBSPACE_NUM 4 #define OS_THREAD_LIBSPACE_NUM 4
#endif
#else #else
#define OS_THREAD_LIBSPACE_NUM OS_THREAD_NUM #define OS_THREAD_LIBSPACE_NUM OS_THREAD_NUM
#endif #endif

View File

@ -1,4 +1,7 @@
{ {
"macros": [
"OS_THREAD_LIBSPACE_NUM=5"
],
"config": { "config": {
"echo-server-addr" : { "echo-server-addr" : {
"help" : "IP address of echo server", "help" : "IP address of echo server",