diff options
| author | Dimitri van Heesch <doxygen@gmail.com> | 2019-12-28 16:15:48 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-28 16:15:48 (GMT) |
| commit | dfd94b01525e6049fcf14fbf459453d3d2a8e55a (patch) | |
| tree | 92e1667d09cc67609fcae2c3ea90ea8ba45b2850 | |
| parent | 4bc238039ac87cdad9bb84ea10b94ba006414009 (diff) | |
| parent | ece9bb503529d92e366554c6852d868d48ada8cb (diff) | |
| download | Doxygen-dfd94b01525e6049fcf14fbf459453d3d2a8e55a.zip Doxygen-dfd94b01525e6049fcf14fbf459453d3d2a8e55a.tar.gz Doxygen-dfd94b01525e6049fcf14fbf459453d3d2a8e55a.tar.bz2 | |
Merge pull request #7465 from albert-github/feature/bug_extension_mapping
Adding check on configuration setting EXTENSION_MAPPING
| -rw-r--r-- | src/configimpl.l | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/configimpl.l b/src/configimpl.l index 4da1634..840213c 100644 --- a/src/configimpl.l +++ b/src/configimpl.l @@ -1541,6 +1541,9 @@ void Config::checkAndCorrect() s=aliasList.next(); } + // check EXTENSION_MAPPING + checkList(Config_getList(EXTENSION_MAPPING),"EXTENSION_MAPPING",TRUE,TRUE); + // check FILTER_PATTERNS checkList(Config_getList(FILTER_PATTERNS),"FILTER_PATTERNS",TRUE,TRUE); |