patacongo commented on pull request #4672: URL: https://github.com/apache/incubator-nuttx/pull/4672#issuecomment-944954502
There are two configuration programs tools/configure.sh and tools/configure.c. The latter is faster if any cares about that but also works in any environment, not just bash. configure.bat, for example, is just a wrapper around configure.c. Normally, we try to keep the functionality of these two versions the same. I think it would need the same change in run_make(). -- 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. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
