<div dir="ltr">This is not a comment for this specific patch, but I'm wondering if the driver can handle options in a case-insensitive manner. Does it?<div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Jul 31, 2013 at 11:30 AM, Reid Kleckner <span dir="ltr"><<a href="mailto:rnk@google.com" target="_blank">rnk@google.com</a>></span> wrote:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
  LGTM<br>
<br>
  I would go ahead and commit, since this doesn't have any review-worthy bits now that these are just aliases.  If someone objects to "CoreOption" they can bikeshed it after the commit.<br>
<div><div><br>
<a href="http://llvm-reviews.chandlerc.com/D1232" target="_blank">http://llvm-reviews.chandlerc.com/D1232</a><br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu" target="_blank">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
</div></div></blockquote></div><br></div></div>