better cmdline option error handling (fixes #12679)#13245

Merged

jakebolewski merged 1 commit intomasterfrom mn/12679

Sep 21, 2015

+92-108

Commits on Sep 20, 2015

better cmdline option err handling (fixes #12679 )
nolta
committed