RE: PATCH: Rename cmmz flags for consistency

ok with me

|  -----Original Message-----
|  From: [email protected] [mailto:[email protected]] On
|  Behalf Of Austin Seipp
|  Sent: 17 December 2012 17:35
|  To: cvs-ghc
|  Subject: PATCH: Rename cmmz flags for consistency
|  
|  Hi,
|  
|  The attached patch renames the various '*-cmmz-*' flags to '*-cmm-*'
|  now that the new backend is live. It also fixes some inconsistencies; namely, there
|  were flags like -ddump-cmmz-rewrite, vs -ddump-cps-cmm, etc. Also, since the
|  new backend went live, '-ddump-cmm' was terribly
|  broken: it was only used when dumping out parsed C--, as the new pipeline used
|  -ddump-cmmz exclusively.
|  
|  This patch mostly just makes all the flags consistent and removes the needless 'z'
|  suffix. It doesn't update the manual; the sub-flags were never mentioned, and -
|  ddump-cmm implies them all anyway.
|  
|  --
|  Regards,
|  Austin