Updates for PIC32MX USB driver

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4233 7fd9a85b-ad96-42d3-883c-3090e2eb8679
2026-10-17 07:13:33 +08:00 · 2011-12-27 20:07:17 +00:00
parent 50eddba2ce
commit 269fd5a9cc
9 changed files with 408 additions and 331 deletions
@@ -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"
+