bug#43664: 28.0.50; Crush of X after choosing F10 -> Tutorial

[Andreas Schwab]

On Sep 30 2020, Jean Louis wrote:

> I was looking into manual, and did not find the option --args in the
> manual so that is bug in the manual, at least on my side.

$ gdb --help | grep -e --args
    gdb [options] --args executable-file [inferior-arguments ...]
  --args             Arguments after executable-file are passed to inferior

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."