------- Comment #4 from fxcoudert at gcc dot gnu dot org 2007-04-16 13:34 ------- (In reply to comment #2) > include the > filename and modification date of the source file in the module file, and to > compare these before writing a module file
I think that defeats the purpose: if the source file changed but the module file didn't change (ie the module interface is the same), we don't need to recompile the files that depend on the module, and the module file shouldn't be rewritten. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31587
