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

* grub-core/genmoddep.awk: Remove explicit getline < /dev/stdin.

Browse source
This commit is contained in:
Vladimir Serbinenko 2013-12-16 13:02:19 +01:00
parent 80b865bdc8
commit 6a09d83e12
2 changed files with 19 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
ChangeLog
View file

@ -1,3 +1,7 @@
2013-12-16 Vladimir Serbinenko <phcoder@gmail.com>
* grub-core/genmoddep.awk: Remove explicit getline < /dev/stdin.
2013-12-15 Ian Campbell <ijc@hellion.org.uk>
* grub-core/kern/uboot/init.c: Fix units of uboot timer.

32
grub-core/genmoddep.awk
View file

@ -14,26 +14,24 @@
# Read symbols' info from stdin.
BEGIN {
error = 0
lineno = 0;
while (getline <"/dev/stdin") {
lineno++;
if ($1 == "defined") {
symtab[$3] = $2;
modtab[$2] = "" modtab[$2]
} else if ($1 == "undefined") {
if ($3 in symtab)
modtab[$2] = modtab[$2] " " symtab[$3];
else if ($3 != "__gnu_local_gp" && $3 != "_gp_disp") {
printf "%s in %s is not defined\n", $3, $2 >"/dev/stderr";
error++;
}
}
else {
printf "error: %u: unrecognized input format\n", lineno;
}
{
if ($1 == "defined") {
symtab[$3] = $2;
modtab[$2] = "" modtab[$2]
} else if ($1 == "undefined") {
if ($3 in symtab)
modtab[$2] = modtab[$2] " " symtab[$3];
else if ($3 != "__gnu_local_gp" && $3 != "_gp_disp") {
printf "%s in %s is not defined\n", $3, $2 >"/dev/stderr";
error++;
break;
}
}
else {
printf "error: %u: unrecognized input format\n", NR;
error++;
}
}
# Output the result.