configure_file: removal of generated config file does not trigger regeneration on make
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.