diff --git a/util/led/extract.c b/util/led/extract.c index 060f8c39..b6719f40 100644 --- a/util/led/extract.c +++ b/util/led/extract.c @@ -209,9 +209,10 @@ redefine(new, old) if (!ISCOMMON(old)) { if (!ISCOMMON(new)) error("%s: multiply defined", new->on_mptr); - + /* else if ((new->on_type & S_TYP) != (old->on_type & S_TYP)) warning("%s: sections differ", new->on_mptr); + */ } else { /* `Old' is common. */ if (ISCOMMON(new)) {