6b2dd0f
From 0000000000000000000000000000000000000000 Mon Sep 17 00:00:00 2001
752ceb1
From: Vladimir Serbinenko <phcoder@gmail.com>
752ceb1
Date: Mon, 14 Aug 2017 16:27:10 +0200
752ceb1
Subject: [PATCH] enforcing fixup
752ceb1
752ceb1
---
752ceb1
 grub-core/genmoddep.awk | 2 +-
752ceb1
 1 file changed, 1 insertion(+), 1 deletion(-)
752ceb1
752ceb1
diff --git a/grub-core/genmoddep.awk b/grub-core/genmoddep.awk
752ceb1
index 8976beb91d0..04c2863e5ab 100644
752ceb1
--- a/grub-core/genmoddep.awk
752ceb1
+++ b/grub-core/genmoddep.awk
752ceb1
@@ -18,7 +18,7 @@ BEGIN {
752ceb1
 
752ceb1
 {
752ceb1
   if ($1 == "defined") {
752ceb1
-    if ($3 in symtab) {
752ceb1
+    if ($3 !~ /^\.refptr\./ && $3 in symtab) {
752ceb1
       printf "%s in %s is duplicated in %s\n", $3, $2, symtab[$3] >"/dev/stderr";
752ceb1
       error++;
752ceb1
     }