Hi Rolf,

Sorry for dropping out on you.

I checked that gdbserver now builds OK with the attached patch
on mingw32 and linux.

Daniel, OK to check in?

-- 
Pedro Alves