PT-1720 pmp won't error on unknown options

2025-09-08 11:07:58 +00:00 · 2019-06-27 10:32:23 -03:00
parent 32fb3bb3f2
commit 54bee8399a
2 changed files with 4 additions and 2 deletions
--- a/bin/pt-pmp
+++ b/bin/pt-pmp
@@ -447,7 +447,6 @@ _parse_command_line() {
         else
            spec=$(grep "^short form:-$opt\$" "$PT_TMPDIR"/po/* | cut -d ':' -f 1)
            if [ -z "$spec"  ]; then
-               option_error "Unknown option: $real_opt"
               continue
            fi
         fi