#407: Rebuild from scratch when the option list file name changes ------------------------+--------------------------------------------------- Reporter: eschnett | Owner: mthomas Type: defect | Status: new Priority: minor | Milestone: Component: SimFactory | Version: Keywords: | ------------------------+--------------------------------------------------- When the file name of the option list changes, perform a make realclean, as if the version number of the option list changed.
trac@lists.einsteintoolkit.org