bugreports: suggest the gdb --args syntax.
authorNicolas George <nicolas.george@normalesup.org>
Sat, 23 Jun 2012 08:37:15 +0000 (10:37 +0200)
committerNicolas George <nicolas.george@normalesup.org>
Sat, 23 Jun 2012 08:37:15 +0000 (10:37 +0200)
commitfc81887c7d65932e79b4b78a48db6b0bcc9bc04f
tree37c35eeefec40fb56b44c0c41b06afc95c4d5a9a
parentec09800eb0165b47a0a69bf4c4984c8e57e4d221
bugreports: suggest the gdb --args syntax.

It is easier to add gdb --args in front of the command line
from the shell history than to re-type it at the gdb prompt.
src/bugreports