diff options
Diffstat (limited to 'include/parameters')
| -rw-r--r-- | include/parameters | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/parameters b/include/parameters index 402743ee..2c59ab0c 100644 --- a/include/parameters +++ b/include/parameters @@ -121,6 +121,7 @@ RUN_TESTS=0 RUN_UPDATE_CHECK=0 SKIP_PLUGINS=1 + LOGTEXT=0 SHOW_TOOL_TIPS=0 SHOW_PROGRAM_DETAILS=0 shift; HELPER_PARAMS="$@" |