#123 Make flag values case-insensitive

4.4
closed-accepted
starkos
None
5
2012-12-31
2011-12-20
No

Currently flags are interpreted case-sensitively, and erroneous case is reported as "invalid flag". I think this behavior is not user-friendly. This patch allows flags to be specified in any case.

Also small optimization in case-insensitive comparison in premake.checkvalue is included.

Discussion

  • starkos
    starkos
    2012-09-27

    • milestone: --> 4.4
     
  • starkos
    starkos
    2012-10-18

    • summary: Implememnted case-insensitive flags --> Make flag values case-insensitive
    • assigned_to: nobody --> starkos
    • status: open --> pending-accepted
     
  • starkos
    starkos
    2012-12-31

    • status: pending-accepted --> closed-accepted