------- Comment #2 from tobi at gcc dot gnu dot org 2007-04-16 13:31 ------- Given your other PR, another solution that comes to mind is to include the filename and modification date of the source file in the module file, and to compare these before writing a module file. This would be more prone to inconsistencies than the approach from comment #1, as it wouldn't actually be verified that the .mod file remains unchanged.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31587