Re: [GHC] #10973: Building git HEAD with a singe make job fails due to dependency problem