X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=SubmittingPatches;h=917cddbf26ebabf0da6e89f4e2b33b99b8afa7e2;hb=67a78abeeae1a726d46ae475c5834513c7fe291e;hp=50398f89cedbc1a46e05232c3f802f72ccf9a24a;hpb=55fa0147b1650557471ae3a042727c3aa04efe11;p=openvswitch

diff --git a/SubmittingPatches b/SubmittingPatches
index 50398f89..917cddbf 100644
--- a/SubmittingPatches
+++ b/SubmittingPatches
@@ -180,7 +180,7 @@ index 32647ea..00cffbc 100644
 -    svec_init(&new_br);
 -    for (i = 0; i < raw_new_br.n; i++) {
 -        const char *name = raw_new_br.names[i];
--        if (!strncmp(name, "dp", 2) && isdigit(name[2])) {
+-        if (!strncmp(name, "dp", 2) && isdigit((unsigned char)name[2])) {
 -            VLOG_ERR("%s is not a valid bridge name (bridges may not be "
 -                     "named \"dp\" followed by a digit)", name);
 -        } else {