Le 17/10/2016 à 18:27, Richard Heck a écrit :
Does distclean work from a clean tree?

I tried a lot of things here, e.g., deleting entirely the support/
directory and restoring it via "git co support/". Even that did not
work. It seems fine with a completely new checkout (git clone olddir
newdir, etc), though.

Deleting the contents of the build tree is enough IMO. This is nothing to do with source tree.


Reply via email to