Follow-up Comment #11, bug #46986 (project grub):
Don't know if it matters as I'm not a programmer... but genmod.sh has changed
in the version that fails compared to the previous one.
The strip command in the failing revision is:
strip --strip-unneeded -K grub_mod_init -K grub_mod_fini -K _grub_mod_init -K
_grub_mod_fini -R .note.gnu.gold-version -R .note.GNU-stack -R .note -R
.comment all_video.mod.tmp
And in the one that doesn't fail it is:
strip --strip-unneeded -K grub_mod_init -K grub_mod_fini -K _grub_mod_init -K
_grub_mod_fini -R .note.gnu.gold-version -R .note.GNU-stack -R .note -R
.comment build-grub-module-verifier.tmp
So, in the first case it is all_video.mod.tmp is being stripped, in the second
it is build-grub-module-verifier.tmp.
Also, in the successful build all_video.mod has no symbols either, but nobody
cares in this case.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?46986>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-grub mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-grub
