On Wed, Aug 28, 2019 at 11:00:46AM +0000, Giuseppe Crino' wrote: > Maybe I'm biased by my incompetence with Makefile's but since rebuilding > the project with `install` but different flags from the first make is > unusual this is worth mentioning to developers. Definitely *not* sarcastic