diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2013-01-09 12:55:13 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2013-01-09 12:55:13 +0000 |
commit | 8156a2bed16d732d2489f7d6fe410b110c29b1d5 (patch) | |
tree | 9c78e5873d7cf77b3479315a96d18fabfa86f718 /nuttx/configs/micropendous3/README.txt | |
parent | 3f4d20628887f3d76705262fcbf18315bc31ea18 (diff) | |
download | px4-firmware-8156a2bed16d732d2489f7d6fe410b110c29b1d5.tar.gz px4-firmware-8156a2bed16d732d2489f7d6fe410b110c29b1d5.tar.bz2 px4-firmware-8156a2bed16d732d2489f7d6fe410b110c29b1d5.zip |
Use kconfig- prefix to avoid tool name conflicts (from Jose Pablo Carballo)
git-svn-id: http://svn.code.sf.net/p/nuttx/code/trunk@5496 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/configs/micropendous3/README.txt')
-rw-r--r-- | nuttx/configs/micropendous3/README.txt | 2 |
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>. |