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

[Simon Marlow]

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