GitLab

Rebuilding used to happen when it shouldn't, for instance on `make
install` after `make`.

The "Types of Prerequisites" section of GNU make manual describes this
situation.