summaryrefslogtreecommitdiff
path: root/nuttx/configs/micropendous3
diff options
context:
space:
mode:
authorpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2013-01-09 12:55:13 +0000
committerpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2013-01-09 12:55:13 +0000
commit6afb58c74e1b0bbfe3306e1a3a00d31462c598fa (patch)
tree9c78e5873d7cf77b3479315a96d18fabfa86f718 /nuttx/configs/micropendous3
parentba1189436af1c941497484d199f383ffc64dc38f (diff)
downloadpx4-nuttx-6afb58c74e1b0bbfe3306e1a3a00d31462c598fa.tar.gz
px4-nuttx-6afb58c74e1b0bbfe3306e1a3a00d31462c598fa.tar.bz2
px4-nuttx-6afb58c74e1b0bbfe3306e1a3a00d31462c598fa.zip
Use kconfig- prefix to avoid tool name conflicts (from Jose Pablo Carballo)
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@5496 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/configs/micropendous3')
-rw-r--r--nuttx/configs/micropendous3/README.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/configs/micropendous3/README.txt b/nuttx/configs/micropendous3/README.txt
index 1b0f2c8ce..6b586bd64 100644
--- a/nuttx/configs/micropendous3/README.txt
+++ b/nuttx/configs/micropendous3/README.txt
@@ -200,7 +200,7 @@ There are several toolchain options. However, testing has been performed
using *only* the NuttX buildroot toolchain described below. Therefore,
the NuttX buildroot toolchain is the recommended choice.
-The toolchain may be selected using the mconf tool (via 'make menuconfig'),
+The toolchain may be selected using the kconfig-mconf tool (via 'make menuconfig'),
by editing the existing configuration file (defconfig), or by overriding
the toolchain on the make commandline with CONFIG_AVR_TOOLCHAIN=<toolchain>.