diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-12-17 12:30:26 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-12-17 12:30:26 -0600 |
| commit | ea4c9dab6f1b1b2982559d4067a0e1b2e6e9bf94 (patch) | |
| tree | f2fed1d4de5f741131023a3a7bb87c0147ea0b98 /nuttx/configs/spark | |
| parent | d9cccec2ed5c71a759f6f2b7198554d6e98fd22c (diff) | |
| download | px4-nuttx-ea4c9dab6f1b1b2982559d4067a0e1b2e6e9bf94.tar.gz px4-nuttx-ea4c9dab6f1b1b2982559d4067a0e1b2e6e9bf94.tar.bz2 px4-nuttx-ea4c9dab6f1b1b2982559d4067a0e1b2e6e9bf94.zip | |
A previous change increased the task name size allocation by one to hold a NUL terminator. This changes reduces the configured name size by one so that no additional memory is used
Diffstat (limited to 'nuttx/configs/spark')
| -rw-r--r-- | nuttx/configs/spark/composite/defconfig | 2 | ||||
| -rw-r--r-- | nuttx/configs/spark/nsh/defconfig | 2 | ||||
| -rw-r--r-- | nuttx/configs/spark/usbmsc/defconfig | 2 | ||||
| -rw-r--r-- | nuttx/configs/spark/usbserial/defconfig | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/nuttx/configs/spark/composite/defconfig b/nuttx/configs/spark/composite/defconfig index 36547a456..86401e84a 100644 --- a/nuttx/configs/spark/composite/defconfig +++ b/nuttx/configs/spark/composite/defconfig @@ -365,7 +365,7 @@ CONFIG_USEC_PER_TICK=10000 CONFIG_RR_INTERVAL=200 # CONFIG_SCHED_CPULOAD is not set # CONFIG_SCHED_INSTRUMENTATION is not set -CONFIG_TASK_NAME_SIZE=8 +CONFIG_TASK_NAME_SIZE=7 # CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_JULIAN_TIME is not set CONFIG_START_YEAR=2013 diff --git a/nuttx/configs/spark/nsh/defconfig b/nuttx/configs/spark/nsh/defconfig index 03afa9444..249550d74 100644 --- a/nuttx/configs/spark/nsh/defconfig +++ b/nuttx/configs/spark/nsh/defconfig @@ -365,7 +365,7 @@ CONFIG_USEC_PER_TICK=10000 CONFIG_RR_INTERVAL=200 # CONFIG_SCHED_CPULOAD is not set # CONFIG_SCHED_INSTRUMENTATION is not set -CONFIG_TASK_NAME_SIZE=8 +CONFIG_TASK_NAME_SIZE=7 # CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_JULIAN_TIME is not set CONFIG_START_YEAR=2013 diff --git a/nuttx/configs/spark/usbmsc/defconfig b/nuttx/configs/spark/usbmsc/defconfig index ccacce607..e326b778c 100644 --- a/nuttx/configs/spark/usbmsc/defconfig +++ b/nuttx/configs/spark/usbmsc/defconfig @@ -365,7 +365,7 @@ CONFIG_USEC_PER_TICK=10000 CONFIG_RR_INTERVAL=200 # CONFIG_SCHED_CPULOAD is not set # CONFIG_SCHED_INSTRUMENTATION is not set -CONFIG_TASK_NAME_SIZE=8 +CONFIG_TASK_NAME_SIZE=7 # CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_JULIAN_TIME is not set CONFIG_START_YEAR=2013 diff --git a/nuttx/configs/spark/usbserial/defconfig b/nuttx/configs/spark/usbserial/defconfig index de66dd0d5..b4ca106aa 100644 --- a/nuttx/configs/spark/usbserial/defconfig +++ b/nuttx/configs/spark/usbserial/defconfig @@ -364,7 +364,7 @@ CONFIG_USEC_PER_TICK=10000 CONFIG_RR_INTERVAL=200 # CONFIG_SCHED_CPULOAD is not set # CONFIG_SCHED_INSTRUMENTATION is not set -CONFIG_TASK_NAME_SIZE=8 +CONFIG_TASK_NAME_SIZE=7 # CONFIG_SCHED_HAVE_PARENT is not set # CONFIG_JULIAN_TIME is not set CONFIG_START_YEAR=2013 |