diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-11-14T13·04+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-11-14T13·04+0100 |
commit | 5ef5d70b5e3dec6abf72b22e531f527fff82b375 (patch) | |
tree | 2d7250e0cfe033b7cba4bdbb9b46a5785e591153 /src/libmain | |
parent | c9c3fc710ba6995b20e078523aa616323dc5759a (diff) |
Make config options available to legacy commands
Diffstat (limited to 'src/libmain')
-rw-r--r-- | src/libmain/common-args.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libmain/common-args.cc b/src/libmain/common-args.cc index ea27aaa35e03..d3aac6aba1ff 100644 --- a/src/libmain/common-args.cc +++ b/src/libmain/common-args.cc @@ -34,6 +34,10 @@ MixCommonArgs::MixCommonArgs(const string & programName) warn(e.what()); } }); + + std::string cat = "config"; + settings.convertToArgs(*this, cat); + hiddenCategories.insert(cat); } } |