Make: reconfigure on configure change (saving environment)
|Reported by:||jvprat||Owned by:||fingolfin|
This is an updated and (hopefully) complete version of patch #1550165 saving all the environment variables documented on the configure help.
I'll revive a question from the original tracker item: should make fail if config.mk is missing? (just reconfiguring if it was properly configured before)
Ticket imported from: #1826459. Ticket imported from: patches/849.