URL:
<http://savannah.gnu.org/bugs/?36758>
Summary: manpage generation may fail due to race condition
Project: GNU GRUB
Submitted by: floppym
Submitted on: Sat 30 Jun 2012 10:10:39 PM GMT
Category: Compilation
Severity: Major
Priority: 5 - Normal
Item Group: None
Status: None
Privacy: Public
Assigned to: None
Originator Name: Mike Gilbert
Originator Email: [email protected]
Open/Closed: Open
Discussion Lock: Any
Release:
Release: other
Reproducibility: Intermittent
Planned Release: None
_______________________________________________________
Details:
When building grub-2.00 in parallel, it is possible that the manpage is
generated for a utility script before grub-mkconfig_lib is generated. This
causes help2man to report that the --help option produced no output.
For example, the rules to create grub-reboot.8 may be processed before
grub-mkconfig_lib. Since grub-reboot sources grub-mkconfig_lib, this will
cause help2man grub-reboot to fail.
Originally reported on Gentoo Linux.
https://bugs.gentoo.org/show_bug.cgi?id=424231
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?36758>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-grub mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-grub
