genmoddep: Check that no modules provide the same symbol.

[grub.git] / grub-core / genmoddep.awk

diff --git a/grub-core/genmoddep.awk b/grub-core/genmoddep.awk
index bd98d84..8976beb 100644 (file)
--- a/grub-core/genmoddep.awk
+++ b/grub-core/genmoddep.awk
@@ -18,6 +18,10 @@ BEGIN {
 
 {
   if ($1 == "defined") {
+    if ($3 in symtab) {
+      printf "%s in %s is duplicated in %s\n", $3, $2, symtab[$3] >"/dev/stderr";
+      error++;
+    }
     symtab[$3] = $2;
     modtab[$2] = "" modtab[$2]
   } else if ($1 == "undefined") {