diff options
Diffstat (limited to 'examples/mux.cfg')
| -rw-r--r-- | examples/mux.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/mux.cfg b/examples/mux.cfg index a98e450..89c2047 100644 --- a/examples/mux.cfg +++ b/examples/mux.cfg @@ -16,4 +16,4 @@ ENABLE_PREPROCESSING = NO EXTRACT_PACKAGE = YES COMPACT_LATEX = YES LATEX_HIDE_INDICES = YES -WARN_AS_ERROR = YES +WARN_AS_ERROR = FAIL_ON_WARNINGS |