Reload executable from disk

[Daniel Jacobowitz]

On Wed, Apr 20, 2005 at 08:18:45PM -0400, Bob Rossi wrote:
> On Wed, Apr 20, 2005 at 04:48:16PM -0700, Shaun Jackman wrote:
> > Is there an option to have gdb reload the executable specified with
> > 'file' from disk if its time stamp has changed upon a 'load' command?
> 
> I could be wrong, but if you rerun a program that you recompiled, I think 
> GDB is smart enough to use the new program, not the old one.
> 
> Is this what you want to know?

We check this in a lot of places, but it's possible that "load" is not
one of them.  Maybe it ought to be.

-- 
Daniel Jacobowitz
CodeSourcery, LLC