diff options
| author | Wiimm <wiimm@wiimm.de> | 2024-02-23 16:02:06 +0100 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2024-02-23 16:02:06 +0100 |
| commit | b8aca433e32346c9293acc34a9e2242809ac5692 (patch) | |
| tree | c6520d8571fa3e13ec189529aaf52fb86d828085 /project/src/wkmpt.c | |
| parent | 685554b2c272fdefc23bb1d237c059b52ab5fc58 (diff) | |
SZS v2.41b
Diffstat (limited to '')
| -rw-r--r-- | project/src/wkmpt.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/project/src/wkmpt.c b/project/src/wkmpt.c index fdde615..c91cda6 100644 --- a/project/src/wkmpt.c +++ b/project/src/wkmpt.c @@ -1597,6 +1597,7 @@ static enumError CheckOptions ( int argc, char ** argv, bool is_env ) case GO_HELP: help_exit(false); case GO_XHELP: help_exit(true); case GO_CONFIG: opt_config = optarg; + case GO_YDEBUG: enable_ydebug++; break; case GO_ALLOW_ALL: allow_all = true; break; case GO_COMPATIBLE: err += ScanOptCompatible(optarg); break; case GO_WIDTH: err += ScanOptWidth(optarg); break; |