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.