Updates for PIC32MX USB driver

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@4233 42af7a65-404d-4744-a932-0658087f49c3
2026-06-06 08:36:24 +08:00 · 2011-12-27 20:07:17 +00:00
parent 61b0896f3d
commit 4c5d18d561
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"
+