Merge pull request #2473 from akallabeth/force_cmdline_flags
authorMarc-André Moreau <marcandre.moreau@gmail.com>
Mon, 16 Mar 2015 12:02:23 +0000 (08:02 -0400)
committerMarc-André Moreau <marcandre.moreau@gmail.com>
Mon, 16 Mar 2015 12:02:23 +0000 (08:02 -0400)
Force cmdline to ignore unknown keywords


Trivial merge