[bug #36758] manpage generation may fail due to race condition

[Mike GIlbert]

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/