DescriptionAllow both "--no<flag>" and "--no-<flag>" to disable <flag>.
We shouldn't need to know whether to use --no or --no- as prefix.
The latter is more intuitive and also what chromium uses.
R=machenbach@chromium.org
BUG=
Committed: https://code.google.com/p/v8/source/detail?r=16261
Patch Set 1 #Patch Set 2 : also allow --no_ #Messages
Total messages: 4 (0 generated)
|