On 14 August 2017 at 21:44, Eric Farman <far...@linux.vnet.ibm.com> wrote: > How often does one really do a "make clean" ? Rather infrequently, > as I only stumbled on this today.
FWIW, one of my standard pre-merge build tests does a "make clean" and then a make (mostly as a check that we do build from clean as well as incrementally). Not sure why it didn't catch this... thanks -- PMM
