diff options
-rw-r--r-- | editors/diff.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/editors/diff.c b/editors/diff.c index 0c75873b3..ef2030527 100644 --- a/editors/diff.c +++ b/editors/diff.c | |||
@@ -94,7 +94,7 @@ enum { /* Commandline flags */ | |||
94 | FLAG_a, | 94 | FLAG_a, |
95 | FLAG_b, | 95 | FLAG_b, |
96 | FLAG_d, | 96 | FLAG_d, |
97 | FLAG_i, /* unused */ | 97 | FLAG_i, |
98 | FLAG_L, /* unused */ | 98 | FLAG_L, /* unused */ |
99 | FLAG_N, | 99 | FLAG_N, |
100 | FLAG_q, | 100 | FLAG_q, |
@@ -177,6 +177,9 @@ static int read_token(FILE_and_pos_t *ft, token_t tok) | |||
177 | if (t == '\n') | 177 | if (t == '\n') |
178 | tok |= TOK_EOL; | 178 | tok |= TOK_EOL; |
179 | 179 | ||
180 | if (option_mask32 & FLAG(i)) /* Handcoded tolower() */ | ||
181 | t = (t >= 'A' && t <= 'Z') ? t - ('A' - 'a') : t; | ||
182 | |||
180 | if ((option_mask32 & FLAG(w)) && is_space) | 183 | if ((option_mask32 & FLAG(w)) && is_space) |
181 | continue; | 184 | continue; |
182 | 185 | ||