Add `reconfigure` command
Fixes #2214 by adding a `reconfigure` command and invoking it whenever necessary. The last configure flags used are saved in a version-independent format so it should never be necessary for the user to reconfigure manually.
This diff is collapsed.
Please register or sign in to comment