[PATCH] Allow spaces in filename to add-symbol-file command

[Andrew STUBBS]

Jim Blandy wrote:
> On 12/6/05, Andrew STUBBS <andrew.stubbs@st.com> wrote:
>> The war against missing space support continues!
> 
> Andrew can be GDB's official spaceman!  :)

Well, you do have to wonder ... what _is_ holding space up there?