Pieter-Jan Briers e9d8dfbf0e Ignore tools CLI flags in non-tools builds.
Some flags were still parsed but either did nothing or broke everything.

No reason to parse them.

(cherry picked from commit dd198262779c20fcb96a1b7484c77e21f4cf4ba1)
2018-02-22 13:08:03 +01:00
..
2018-02-22 12:17:06 +01:00
2017-12-16 16:20:36 -03:00
2017-10-13 16:40:22 -05:00