xiaoxiang781216 commented on a change in pull request #594: Tools refine
URL: https://github.com/apache/incubator-nuttx/pull/594#discussion_r395977027
##########
File path: tools/configure.sh
##########
@@ -168,16 +164,25 @@ fi
src_config=${configpath}/defconfig
dest_config="${TOPDIR}/.config"
+backup_config="${TOPDIR}/defconfig"
if [ ! -r ${src_config} ]; then
echo "File ${src_config} does not exist"
exit 5
fi
-if [ ${skip} != 1 ] && [ -r ${dest_config} ]; then
- echo "Already configured!"
- echo "Do 'make distclean' and try again."
- exit 6
+if [ -r ${dest_config} ]; then
+ if cmp -s ${src_config} ${backup_config}; then
+ exit 0 # No any config change
Review comment:
Ok, I will add a log
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
With regards,
Apache Git Services
