Instead of always writing the result of dropping/adding/replacing the header, it should only be written if it's different from the previous file content. This avoids changing the timestamp, which would for example trigger unnecessary rebuilds when using Makefiles.
Instead of always writing the result of dropping/adding/replacing the header, it should only be written if it's different from the previous file content. This avoids changing the timestamp, which would for example trigger unnecessary rebuilds when using Makefiles.