An cmdline option: -no-gdb.
authorAdam Borowski <kilobyte@angband.pl>
Tue, 5 Nov 2013 13:52:51 +0000 (14:52 +0100)
committerAdam Borowski <kilobyte@angband.pl>
Tue, 5 Nov 2013 13:52:51 +0000 (14:52 +0100)
commitb9975d15a484f5902e48748ad483543f2bc04152
tree8c98796ba3d43845ce66fef9ae6f3f0c1c7b4f76
parent80c6c4d321dbdd462b4f801e246a20c64867f4c7
An cmdline option: -no-gdb.

In release builds it's on by default, this option allows disabling it.
crawl-ref/source/initfile.cc
crawl-ref/source/main.cc