[RFA] add $GDBSERVER to find_gdbserver

[Daniel Jacobowitz]

On Mon, May 05, 2008 at 05:12:21PM -0700, Doug Evans wrote:
> Ok to check in?
> 
> 2008-05-05  Doug Evans  <dje@google.com>
> 
> 	* lib/gdbserver-support.exp (find_gdbserver): Use $GDBSERVER if set.

OK, thanks.

-- 
Daniel Jacobowitz
CodeSourcery