FLINT install uses make -B, which isn't an option on (slightly) older make versions
|Reported by:||craigcitro||Owned by:||mabshoff|
|Report Upstream:||Work issues:|
The title pretty much says it all. make 3.79.1 doesn't support make -B, and I'm likely not the only person with a slightly outdated version of make, so we should see if this can be switched around at all.