Allow a "make reconfigure" to continue, even if the Makefile changes.
1 file changed