diff options
Diffstat (limited to 'nuttx/tools')
| -rwxr-xr-x | nuttx/tools/configure.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nuttx/tools/configure.sh b/nuttx/tools/configure.sh index 84a9acb43..3aaed0681 100755 --- a/nuttx/tools/configure.sh +++ b/nuttx/tools/configure.sh @@ -156,7 +156,7 @@ if [ ! -z "${appdir}" ]; then if [ ! -r "${configpath}/appconfig" ]; then echo "NOTE: No readable appconfig file found in ${configpath}" else - install -C "${configpath}/appconfig" "${TOPDIR}/${appdir}/.configX" || \ + install -C "${configpath}/appconfig" "${TOPDIR}/${appdir}/.config" || \ { echo "Failed to copy ${configpath}/appconfig" ; exit 10 ; } echo "" >> "${TOPDIR}/.configX" @@ -166,7 +166,7 @@ if [ ! -z "${appdir}" ]; then fi fi -# install the final .configX only if it differs from the existing +# install the final .configX only if it differs from any existing # .config file. install -C "${TOPDIR}/.configX" "${TOPDIR}/.config" |