diff options
-rw-r--r-- | gnu/usr.bin/man/man/man.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gnu/usr.bin/man/man/man.c b/gnu/usr.bin/man/man/man.c index 7c9481c..8edb48c 100644 --- a/gnu/usr.bin/man/man/man.c +++ b/gnu/usr.bin/man/man/man.c @@ -467,8 +467,13 @@ man_getopt (argc, argv) || strlen(tmp + 1) < 4 || tmp[3] != '.') { if (debug) { - errno = EINVAL; - perror ("ctype locale env"); + if (strcmp(locale, "C") != 0 && + strcmp(locale, "POSIX") != 0 && + strcmp(locale, "ASCII") != 0 && + strcmp(locale, "US-ASCII") != 0) { + errno = EINVAL; + perror ("ctype locale env"); + } } locale = NULL; } else { |