(main): Cast isdigit() argument to unsigned char.

From Hallvard B Furuseth <h.b.furuseth@usit.uio.no>.
This commit is contained in:
Gerd Moellmann 2001-10-09 10:18:30 +00:00
parent c3d7eab2ba
commit cb1cdedd97

View file

@ -425,7 +425,7 @@ main (argc, argv)
if (*argv[i] == '+')
{
char *p = argv[i] + 1;
while (isdigit (*p) || *p == ':') p++;
while (isdigit ((unsigned char) *p) || *p == ':') p++;
if (*p != 0)
fprintf (out, "%s/", quote_file_name (cwd));
}