Re: [GHC] #9219: Parallel build proceeds despite errors