Allow both "--no<flag>" and "--no-<flag>" to disable <flag>.
authoryangguo@chromium.org <yangguo@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Wed, 21 Aug 2013 15:17:23 +0000 (15:17 +0000)
committeryangguo@chromium.org <yangguo@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Wed, 21 Aug 2013 15:17:23 +0000 (15:17 +0000)
commit0cc3a7fde9645ac8fce2293b92e853a847dbf795
tree61b853724f6b62b1e7c50746788fa90afe3384b4
parent6337281204970e45cf0875e3f5d8166b2181537a
Allow 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=

Review URL: https://codereview.chromium.org/22851009

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@16261 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
src/flags.cc