btashton commented on a change in pull request #1024:
URL: https://github.com/apache/incubator-nuttx/pull/1024#discussion_r422779507
##########
File path: tools/refresh.sh
##########
@@ -259,7 +229,7 @@ for CONFIG in ${CONFIGS}; do
# Show differences
- if ! $CMPCONFIG $DEFCONFIG defconfig; then
+ if ! diff $DEFCONFIG defconfig; then
Review comment:
Will this work on native windows or do we need to define a host variable
for the diff command?
----------------------------------------------------------------
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:
us...@infra.apache.org
