--make should not touch the -o file if it doesn't change it

[Alex Jacobson]

I think this was a bug on my part.  Some file was getting touched that I 
wasn't aware of.  Sorry.

-Alex-

Simon Marlow wrote:
> Alex Jacobson wrote:
>> Right now, if you recompile with --make, the exeutable gets a new 
>> timestamp.  That seems incorrect.  Is this a bug?
> 
> If the executable was re-linked, then it gets a new timestamp, since the 
> file's contents have changed, but if no compilation or linking was 
> required, then the executable and its timestamp remain unchanged.  Seems 
> ok to me, am I missing something?
> 
> Cheers,
>     Simon