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

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