Change field separator in gdbarch.sh
authorSimon Marchi <simon.marchi@polymtl.ca>
Tue, 2 May 2017 17:30:07 +0000 (13:30 -0400)
committerSimon Marchi <simon.marchi@ericsson.com>
Tue, 2 May 2017 17:30:07 +0000 (13:30 -0400)
commitea480a306d46efe3dd1839618137f0e73a80e9b3
tree9ff5a3970ce3de345d2c4d962fd050cb524b6516
parent1395c6ce47510babad3dcb9892f6f2517a3f2b59
Change field separator in gdbarch.sh

The fields in the description of the gdbarch interface are separated
using colons.  That becomes a problem if we want to use things like
std::vector in it. This patch changes the field separator to use
semicolons instead.

I think there's very little chance we'll ever want to use a semicolon in
one of the fields, but if you think another character would be more
appropriate, let me know.

gdb/ChangeLog:

* gdbarch.sh: Use semi-colon as field separator instead of colon.
* gdbarch.h: Re-generate.
gdb/ChangeLog
gdb/gdbarch.h
gdb/gdbarch.sh