diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2011-12-27 20:07:17 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2011-12-27 20:07:17 +0000 |
commit | 815dcf2d24ce8b8b00a637fbeb5f0d56fdc583cf (patch) | |
tree | e56731c6fd8ab4493b3d056a589b0c83052a1577 /nuttx/tools | |
parent | 8deca84debb66a97f9d57ed0299659196e31b5f2 (diff) | |
download | px4-nuttx-815dcf2d24ce8b8b00a637fbeb5f0d56fdc583cf.tar.gz px4-nuttx-815dcf2d24ce8b8b00a637fbeb5f0d56fdc583cf.tar.bz2 px4-nuttx-815dcf2d24ce8b8b00a637fbeb5f0d56fdc583cf.zip |
Updates for PIC32MX USB driver
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@4233 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/tools')
-rwxr-xr-x | nuttx/tools/configure.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/nuttx/tools/configure.sh b/nuttx/tools/configure.sh index a13e288be..84a9acb43 100755 --- a/nuttx/tools/configure.sh +++ b/nuttx/tools/configure.sh @@ -165,4 +165,10 @@ if [ ! -z "${appdir}" ]; then echo "CONFIG_APPS_DIR=\"$appdir\"" >> "${TOPDIR}/.configX" fi fi + +# install the final .configX only if it differs from the existing +# .config file. + install -C "${TOPDIR}/.configX" "${TOPDIR}/.config" +rm -f "${TOPDIR}/.configX" + |