Merge pull request #1672 from dcooper16/fix_unrecognized_option

Fix printing of unrecognized option
This commit is contained in:
Dirk Wetter 2020-07-07 15:53:49 +02:00 committed by GitHub
commit 6071ae9883
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -21693,7 +21693,7 @@ parse_cmd_line() {
(--) shift
break
;;
(-*) tmln_warning "0: unrecognized option \"$1\"" 1>&2;
(-*) tmln_warning "$0: unrecognized option \"$1\"" 1>&2;
help 1
;;
(*) break