summaryrefslogtreecommitdiff
path: root/nuttx/tools
diff options
context:
space:
mode:
authorpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2011-12-27 20:07:17 +0000
committerpatacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>2011-12-27 20:07:17 +0000
commit815dcf2d24ce8b8b00a637fbeb5f0d56fdc583cf (patch)
treee56731c6fd8ab4493b3d056a589b0c83052a1577 /nuttx/tools
parent8deca84debb66a97f9d57ed0299659196e31b5f2 (diff)
downloadpx4-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-xnuttx/tools/configure.sh6
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"
+