Details
-
Suggestion
-
Resolution: Fixed
-
P3: Somewhat important
-
None
-
None
-
60968090a (dev), 5c40cb0f1 (dev), 60c8a6874 (dev)
Description
The '-redo' option followed by newly added options has no effect. So '-redo' simply re-runs configure/cmake with previous configuration. I makes sense to remove CMakeCache.txt and re-run cmake with previous optionsĀ supplemented by new options, but avoid saving those new options to config.opt.