Re: [GHC] #11281: Way to run --make and -M simultaneously