diff options
Diffstat (limited to 'print_wiki.c')
| -rw-r--r-- | print_wiki.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/print_wiki.c b/print_wiki.c index ea8c4d73b..b2ac65c91 100644 --- a/print_wiki.c +++ b/print_wiki.c @@ -245,7 +245,7 @@ static void print_supported_boards_wiki_helper(const char *devicetype, int cols, "<span id=\"%s_note%d\">%d. [[#%s_ref%d|↑]]</span>" " <nowiki>%s</nowiki><br />\n", devicetype, num_notes, num_notes, devicetype, num_notes, boards[i].note); - if (ret < 0 || ret >= sizeof(tmp)) { + if (ret < 0 || (unsigned int)ret >= sizeof(tmp)) { fprintf(stderr, "Footnote text #%d of %s truncated (ret=%d, sizeof(tmp)=%zu)\n", num_notes, devicetype, ret, sizeof(tmp)); } |