diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2014-12-28 10:42:19 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2014-12-28 10:42:19 -0600 |
| commit | 88f57cf2637e191cdcb0a632b80fa364b9b8e54d (patch) | |
| tree | e4666f8fcff400829c12a767044b5e53b994b5b8 /nuttx/README.txt | |
| parent | bd90f2ddfcb38af03ff369eccce76178ef42e0d0 (diff) | |
| download | px4-nuttx-88f57cf2637e191cdcb0a632b80fa364b9b8e54d.tar.gz px4-nuttx-88f57cf2637e191cdcb0a632b80fa364b9b8e54d.tar.bz2 px4-nuttx-88f57cf2637e191cdcb0a632b80fa364b9b8e54d.zip | |
Update README.txt
Diffstat (limited to 'nuttx/README.txt')
| -rw-r--r-- | nuttx/README.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/nuttx/README.txt b/nuttx/README.txt index bfe9a3d30..c5df1b6cb 100644 --- a/nuttx/README.txt +++ b/nuttx/README.txt @@ -329,6 +329,10 @@ Refreshing Configurations you a lot of problems down the road due to a bad configuration. The NuttX configuration is discussed in the following paragraph. + Confused about what the correct value for a new configuration item should + be? Enter ? in response to the 'make oldconfig' prompt and it will show + you the help text that goes with the option. + NuttX Configuration Tool ------------------------ |