diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-08-07 12:35:24 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-08-07 12:35:24 -0600 |
commit | 6c1d3a968a290e3d09cfc62cdc1a0257d4d4f458 (patch) | |
tree | d1f3f6268bff752463cec686ca851f7b0f619051 /nuttx/configs/pcduino-a10 | |
parent | c029edd96276fe7efa15992a5dd0da47920a2adb (diff) | |
download | px4-nuttx-6c1d3a968a290e3d09cfc62cdc1a0257d4d4f458.tar.gz px4-nuttx-6c1d3a968a290e3d09cfc62cdc1a0257d4d4f458.tar.bz2 px4-nuttx-6c1d3a968a290e3d09cfc62cdc1a0257d4d4f458.zip |
Remove CONFIG_DISABLE_CLOCK
Diffstat (limited to 'nuttx/configs/pcduino-a10')
-rw-r--r-- | nuttx/configs/pcduino-a10/nsh/defconfig | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nuttx/configs/pcduino-a10/nsh/defconfig b/nuttx/configs/pcduino-a10/nsh/defconfig index 86d278c6c..a647d4729 100644 --- a/nuttx/configs/pcduino-a10/nsh/defconfig +++ b/nuttx/configs/pcduino-a10/nsh/defconfig @@ -284,7 +284,6 @@ CONFIG_SCHED_WAITPID=y # CONFIG_SCHED_ONEXIT is not set CONFIG_USER_ENTRYPOINT="nsh_main" CONFIG_DISABLE_OS_API=y -# CONFIG_DISABLE_CLOCK is not set # CONFIG_DISABLE_POSIX_TIMERS is not set # CONFIG_DISABLE_PTHREAD is not set # CONFIG_DISABLE_SIGNALS is not set |