• ttuegel's avatar
    Add `reconfigure` command · ae59bb3d
    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.
    ae59bb3d
Configure.hs 18.3 KB