GNOME Bugzilla – Bug 683286
codewriter: update modification time at end of write_file()
Last modified: 2017-04-30 16:30:25 UTC
Makefile typically expect to have modified files with updated timestamp. It solve a dependency issues and unneeded rebuilds. Even if the content didn't change, it seems reasonable to update the modification time in this case.
Created attachment 223353 [details] [review] codewriter: update modification time at end of write_file()
*** Bug 649084 has been marked as a duplicate of this bug. ***
Created attachment 346696 [details] [review] codewriter: Update timestamps of generated c-files if needed If a changed source-file produces the same ccode we currently leave existing files untouched. Although it is better to update the modification timestamp of those to at least meet the one of associated source-file.
*** Bug 773325 has been marked as a duplicate of this bug. ***
Attachment 346696 [details] pushed as 3c8489c - codewriter: Update timestamps of generated c-files if needed