equality time test in source and object code check

[stefan]

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