diff options
Diffstat (limited to 'Build/source/texk/gsftopk/gsftopk.c')
-rw-r--r-- | Build/source/texk/gsftopk/gsftopk.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Build/source/texk/gsftopk/gsftopk.c b/Build/source/texk/gsftopk/gsftopk.c index 1e169887b6c..fd6f2d5243a 100644 --- a/Build/source/texk/gsftopk/gsftopk.c +++ b/Build/source/texk/gsftopk/gsftopk.c @@ -1380,7 +1380,7 @@ scan_map_file(FILE *f) { while (fgets_long(f)) if (memcmp(long_line, fontname, fontlen) == 0 - && (long_line[fontlen] == '\0' || isspace(long_line[fontlen]))) { + && (long_line[fontlen] == '\0' || isspace((unsigned char)long_line[fontlen]))) { fclose(f); return True; } @@ -1464,7 +1464,7 @@ whitespace(void) c = data_getc(); if (c == '#') do c = data_getc(); while (!data_eof && c != '\n'); - else if (!isspace(c)) { + else if (!isspace((unsigned char)c)) { data_ungetc(c); break; } @@ -1477,7 +1477,7 @@ getint(void) char c; int i = 0; - do c = data_getc(); while (isspace(c)); + do c = data_getc(); while (isspace((unsigned char)c)); if (c < '0' || c > '9') oops("digit expected"); do { i = i * 10 + (c - '0'); @@ -2317,7 +2317,7 @@ Author of gsftopk: Paul Vojta."); if (mapline != NULL) { if (memcmp(mapline, fontname, fontlen) != 0 - || (mapline[fontlen] != '\0' && !isspace(mapline[fontlen]))) + || (mapline[fontlen] != '\0' && !isspace((unsigned char)mapline[fontlen]))) oops("font name does not match --mapline argument"); } else { @@ -2382,7 +2382,7 @@ Author of gsftopk: Paul Vojta."); * Parse the line from the map file. */ for (p = mapline + fontlen; *p != '\0'; ++p) { - if (isspace(*p)) continue; + if (isspace((unsigned char)*p)) continue; if (*p == '<') { char *q; char endc; @@ -2395,7 +2395,7 @@ Author of gsftopk: Paul Vojta."); /* ... and maybe a '[' */ if (*p == '[') ++p; q = p; - while (*p != '\0' && !isspace(*p)) ++p; + while (*p != '\0' && !isspace((unsigned char)*p)) ++p; endc = *p; *p = '\0'; #ifdef KPATHSEA @@ -2434,7 +2434,7 @@ Author of gsftopk: Paul Vojta."); } else { PSname = p; - while (*p != '\0' && !isspace(*p)) ++p; + while (*p != '\0' && !isspace((unsigned char)*p)) ++p; if (*p == '\0') break; } *p = '\0'; |