On 23/11/15 22:31, Michael Barton wrote:
I always do a make distclean.
However, if you think it would help, I can delete the entire
installation and checkout again.
Yes, I have found that from time to time make distclean is not enough. I
haven't dug into this deeply enough to understand why, but there seems
to be some cleaning tasks missing and that corrupts the source tree even
after a make distclean.
Moritz
_______________________________________________
grass-dev mailing list
[email protected]
http://lists.osgeo.org/mailman/listinfo/grass-dev
