vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

enforcing fixup

Browse source
This commit is contained in:
Vladimir Serbinenko 2017-08-14 16:27:10 +02:00
parent 4bfd26623f
commit 6ccb2d54bc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
grub-core/genmoddep.awk
View file

@ -18,7 +18,7 @@ BEGIN {
{ {
if ($1 == "defined") { if ($1 == "defined") {
if ($3 in symtab) { if ($3 !~ /^\.refptr\./ && $3 in symtab) {
printf "%s in %s is duplicated in %s\n", $3, $2, symtab[$3] >"/dev/stderr"; printf "%s in %s is duplicated in %s\n", $3, $2, symtab[$3] >"/dev/stderr";
error++; error++;
} }