Miro Kropáček wrote:
But with the MS Windows explorer, it works as you expect. The target
modification time is updated with the modification time of the new content.
OK but in that case it can't work in your "make example", too, right?
I meant: The target modification time is updated with the modification time of the new content = the modification time of the source file.
This is my daily problem. It does not work as I would expect in my "make example".
Yes, this is what I had in mind -- no one prevents copy tool to update modification time (when overwriting) to the current time, as the content is overwritten *now* and therefore 'make' would be happy and it still make sense (at least to me ;-) Modification time = when I modify the content = I'm doing it now (I'm overwriting it).
If the MS Windows explorer would work like that, it would solve my "make example". If I'm not wrong, the "cp" tool works as you have just described, and there is no problem.
Anyway, the only important thing is: Do not assume that the modification time is greater than the creation time. -- Vincent Rivière