Rebuild from scratch when the option list file name changes
Issue #407
new
When the file name of the option list changes, perform a make realclean, as if the version number of the option list changed.
Keyword: