[GitHub] [incubator-nuttx] v01d edited a comment on pull request #1470: Makefile: Fix Make.dep not updated by config changes

[GitBox <gi...@apache.org>]

v01d edited a comment on pull request #1470:
URL: https://github.com/apache/incubator-nuttx/pull/1470#issuecomment-665084124


   I agree with the idea, in fact, it is always problematic to realize a build failure is due to out-of-date Make.dep files. I personally I'm used to deleting Make.dep/.depend files whenever I add new sources files (not so problematic because you know what you're doing) or I change configuration and something does not work right (this is the difficult case, since it becomes trial and error).
   
   However, I'm not so sure that simply recreating dependencies whenever .config changes is the best idea as the dependency generation is REALLY slow. I tried to see why it is so slow and could not find a way to improve it. Again, I agree with the change but I wouldn't like if it add so much overhead after every configuration change. 


----------------------------------------------------------------
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:
users@infra.apache.org