Fri Jan 11 23:23:49 CET 2019

Finding makefile bugs

If manual entry of dependencies is necessary, how to debug this?  One
way is reproducible builds:

- if binary didn't change, the file that changed (likely) doesn't

- if build was not triggered, a verification build would not change
  the binary.

So what about this: Run continuous verification rebuilds in the
background which compare incremental binary outputs with new full
rebuilds.  Problem here is that there is a lot of overhead, so likely
this will be culled, leading to new bugs.

There is no good solution other than doing this formally: make it
impossible to have bugs by generating the dependencies.