Ticket #1513 (closed defect: fixed)
FLINT install uses make -B, which isn't an option on (slightly) older make versions
|Reported by:||craigcitro||Owned by:||mabshoff|
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.