diff options
-rw-r--r-- | psi/imainarg.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/psi/imainarg.c b/psi/imainarg.c index 38b2bfed5..e4f646985 100644 --- a/psi/imainarg.c +++ b/psi/imainarg.c | |||
@@ -475,6 +475,14 @@ run_stdin: | |||
475 | if (code < 0) return code; | 475 | if (code < 0) return code; |
476 | break; | 476 | break; |
477 | } | 477 | } |
478 | if (*arg != 0) { | ||
479 | /* Unmatched switch. */ | ||
480 | outprintf(minst->heap, | ||
481 | " Unknown switch '--%s'.\n", | ||
482 | arg); | ||
483 | arg_finit(pal); | ||
484 | return gs_error_Fatal; | ||
485 | } | ||
478 | /* FALLTHROUGH */ | 486 | /* FALLTHROUGH */ |
479 | case '+': | 487 | case '+': |
480 | pal->expand_ats = false; | 488 | pal->expand_ats = false; |