mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-23 07:39:22 +00:00
fake __gnu_local_gp
This commit is contained in:
1 parent
e8b458be45
commit
6315da8831
3 files changed
+10
-3
No files matched your search
+1
-1
@@ -29,7 +29,7 @@ FNR == 1 {
|
||||
if ($1 in symtab) {
|
||||
modtab[module] = modtab[module] " " symtab[$1];
|
||||
}
|
||||
else if ($1 != "__gnu_local_gp"){
|
||||
else {
|
||||
printf "%s in %s is not defined\n", $1, module >"/dev/stderr";
|
||||
error++;
|
||||
exit;
|
||||
|
||||
Reference in new issue
Block a user