From 3c8489c202692a230914ede35320ced13a9fe05b Mon Sep 17 00:00:00 2001 From: Rico Tzschichholz Date: Fri, 24 Feb 2017 22:22:21 +0100 Subject: 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. https://bugzilla.gnome.org/show_bug.cgi?id=683286 --- ccode/valaccodewriter.vala | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'ccode') diff --git a/ccode/valaccodewriter.vala b/ccode/valaccodewriter.vala index 281ff6e43..2e58a41b3 100644 --- a/ccode/valaccodewriter.vala +++ b/ccode/valaccodewriter.vala @@ -138,6 +138,14 @@ public class Vala.CCodeWriter { FileUtils.rename (temp_filename, filename); } else { FileUtils.unlink (temp_filename); + if (source_filename != null) { + var stats = Stat (source_filename); + var target_stats = Stat (filename); + if (stats.st_mtime >= target_stats.st_mtime) { + UTimBuf timebuf = { stats.st_atime + 1, stats.st_mtime + 1 }; + FileUtils.utime (filename, timebuf); + } + } } } } -- cgit v1.2.1