[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #36758] manpage generation may fail due to race condition
From: |
Mike GIlbert |
Subject: |
[bug #36758] manpage generation may fail due to race condition |
Date: |
Sat, 30 Jun 2012 22:10:39 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.1 (KHTML, like Gecko) Chrome/21.0.1180.15 Safari/537.1 |
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: address@hidden
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/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #36758] manpage generation may fail due to race condition,
Mike GIlbert <=