On Fri, Apr 3, 2020 at 8:52 AM Gregory Nutt <spudan...@gmail.com> wrote: > > > > Do we have a platform-independent way to detect whether the NuttX > > distribution is a git clone or not? > Yes, just do a check if the directory at $TOPDIR/.git exists. > > Also, doesn't 'make distclean' clean in apps as well as nuttx? Because > > I think 'git cleanup' won't clean apps. > It will also trash any personal files that you may have in your clone. > I keep lots of helper stuff in my repositories. I wouldn't want them > deleted. That would be a catastrophy for me.
Your concern is right, git clean isn't safe operation. Yamamoto, how about we revert the change? I think the safety is more important than the build speed. Thanks Xiang
