Re: gdb v7.0 - user defined command's document section - space prefixed end

[James Pandavan <james dot pandavan at googlemail dot com>]

Joel Brobecker wrote:
> I'm not sure whether this change of behavior was intended or not. I wonder
> how many users indent their GDB scripts the way you did, with the "end"
> not being on the first column...
>
> For now, perhaps we should document the fact that we expect the "end"
> keyword to be on the first column of the line. I'm also wondering
> whether we should consider allowing white spaces before the end in
> the comment as well.  It would make us backwards-compatible with
> previous versions.
>
>   
I noticed my scripts didn't work under v7.0 only when I saw this bug in 
launchpad. I guess I am not the only one who has indented "ends" this way :)
https://bugs.launchpad.net/ubuntu/+source/gdb/+bug/461594

I've also filed a bug report a day after I sent my original mail.
http://sourceware.org/bugzilla/show_bug.cgi?id=10868