Hi, I'm not certain if this is a Bug. But it looks like there is an equality test of times for the check if the object file is in sync with the source file. I could imagine that the rule that has to be obeyed is
obj-code-file-time >= source-code-time testing for equality looks a little scary to me /Stefan
