Menu

#19 Additional make -r problems

v1.0_(example)
closed
None
5
2019-04-02
2019-03-24
No

gnuefi/Makefile uses a strange rule to create libgnuefi.a, which only works because of a "make" builtin rule. This breaks make -r, and it is an inefficient way to build, at least for multiple files.

I have made a git tree which includes a patch for this problem, and also forces -r by adding it to MAKEFLAGS:

git://git.zytor.com/users/hpa/gnu-efi.git make-r-fixes

Discussion

  • Nigel Croxon

    Nigel Croxon - 2019-04-02
    • status: open --> closed
    • assigned_to: Nigel Croxon
     
  • Nigel Croxon

    Nigel Croxon - 2019-04-02

    The patch has been accepted and pushed to the git tree.
    commit 230c36c6aa4fcb1db61ce177264e224c26314da1

    Thank you for the patch.

     

Log in to post a comment.