-
ttuegel authored
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.
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.