Eliminate undocumented --debug option
authorJacob Bachmeyer <jcb@gnu.org>
Tue, 8 Aug 2023 01:21:22 +0000 (20:21 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Tue, 8 Aug 2023 01:21:22 +0000 (20:21 -0500)
commitfc34f3835c30ed0b7a995c2fd8e41c422adcbdb6
treea6a71fada42445af47a49e7059d74079c12fc157
parent07b448c42af48ba7771ea6a7edb3379271e2c52e
Eliminate undocumented --debug option

The debugging flag was default-on anyway.  The debugging messages can be
filtered using syslog features if desired, since they are sent to the log
with the appropriate "debug" level.
gatekeeper.pl
testsuite/lib/tool/gatekeeper.exp