RFC: Do not call write_pc for "signal SIGINT"

[Daniel Jacobowitz]

On Thu, Aug 28, 2008 at 11:34:37AM -0700, Michael Snyder wrote:
> More than a testcase.  This isn't very well explained.
> You didn't reference the PR in your original post, and

It was in the ChangeLog entry, sorry.

> I'm still not sure how we're getting from SIGINT to
> signal 0...

We aren't.  The comment that I'm deleting is talking about the user
typing "signal 0", which worked correctly; I'm making "signal SIGINT"
treat the PC the same way.  All the complexity is in incorrect bits
I'm deleting :-)  Afterwards it's like every other call to proceed in
the file.

-- 
Daniel Jacobowitz
CodeSourcery