On Thu, Apr 2, 2020 at 8:52 PM 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.
Ok. More below. > > 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. I agree, that would be disastrous. More below. On Thu, Apr 2, 2020 at 8:54 PM Gregory Nutt <spudan...@gmail.com> wrote: > > I opened issue #698 -- https://github.com/apache/incubator-nuttx/issues/698. > Issues are good. Someday they will be fixed but it might be weeks or > months. If you really want a quick turnaround, a PR (or patch) is the > only way to do that. I intend to send a PR soon. In the meantime I filed the issue to ensure it won't be forgotten in case I'm unable to get to it tonight... Thanks for your help, Nathan
