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: floppymas...@gmail.com 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 Bug-grub@gnu.org https://lists.gnu.org/mailman/listinfo/bug-grub