diff options
Diffstat (limited to 'nuttx/configs/rgmp/x86/default/defconfig')
| -rw-r--r-- | nuttx/configs/rgmp/x86/default/defconfig | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/nuttx/configs/rgmp/x86/default/defconfig b/nuttx/configs/rgmp/x86/default/defconfig index 9b4b58d89..e36c39766 100644 --- a/nuttx/configs/rgmp/x86/default/defconfig +++ b/nuttx/configs/rgmp/x86/default/defconfig @@ -124,7 +124,6 @@ CONFIG_ARCH_STDBOOL_H=y CONFIG_RRLOAD_BINARY=n CONFIG_INTELHEX_BINARY=n CONFIG_RAW_BINARY=n -CONFIG_HAVE_LIBM=n # # Sizes of configurable things (0 disables) |