Makefiles are not updated once they are written
alexamici opened this issue · comments
Updating the makefile template doesn't trigger an update of the Makefile on the filesystem during ensure_setup.
Maybe add and check a template version number/date.
Closed with a hack in 5ea6e41