Rebuild from scratch when the option list file name changes

Issue #407 new
Erik Schnetter created an issue

When the file name of the option list changes, perform a make realclean, as if the version number of the option list changed.

Keyword:

Comments (0)

  1. Log in to comment