diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-07-21 18:44:19 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-07-21 18:44:19 -0600 |
commit | e65c7812e4ff13ca89a6c580e22071d861c26573 (patch) | |
tree | 1e9bb14f26fd8f81a3aa48cbc64be42d29f97edd /nuttx/configs | |
parent | 08d7e82e568c9283e66f7df4486aefeba06740c0 (diff) | |
download | px4-nuttx-e65c7812e4ff13ca89a6c580e22071d861c26573.tar.gz px4-nuttx-e65c7812e4ff13ca89a6c580e22071d861c26573.tar.bz2 px4-nuttx-e65c7812e4ff13ca89a6c580e22071d861c26573.zip |
Make sure that all sim configurations have CONFIG_SIM_M32 undefined. That is probably the wrong default setting, but we need to be consistent above all
Diffstat (limited to 'nuttx/configs')
-rw-r--r-- | nuttx/configs/sim/configdata/defconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/configs/sim/configdata/defconfig b/nuttx/configs/sim/configdata/defconfig index 4ad9ba953..199e6c5dc 100644 --- a/nuttx/configs/sim/configdata/defconfig +++ b/nuttx/configs/sim/configdata/defconfig @@ -85,7 +85,7 @@ CONFIG_ARCH="sim" # # Simulation Configuration Options # -CONFIG_SIM_M32=y +# CONFIG_SIM_M32 is not set # CONFIG_SIM_WALLTIME is not set # |