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

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