diff options
author | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2011-12-27 20:07:17 +0000 |
---|---|---|
committer | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2011-12-27 20:07:17 +0000 |
commit | fc8b60bd48161bcf8a33855d3fa44ba28b057b0c (patch) | |
tree | e56731c6fd8ab4493b3d056a589b0c83052a1577 /nuttx/tools/configure.sh | |
parent | 21a4e63812b075dd4eb3dbefb119c93a00b02d93 (diff) |
Updates for PIC32MX USB driver
git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4233 7fd9a85b-ad96-42d3-883c-3090e2eb8679
Diffstat (limited to 'nuttx/tools/configure.sh')
-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 a13e288be0..84a9acb43f 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" + |