Re: [GHC] #4114: Add a flag to remove/delete intermediate files generated by GHC