diff options
-rw-r--r-- | include/profiles | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/include/profiles b/include/profiles index 632815b1..b58e907c 100644 --- a/include/profiles +++ b/include/profiles @@ -445,8 +445,7 @@ # Register the discovered settings AddSetting "log-tests-incorrect-os" "${SETTING_LOG_TESTS_INCORRECT_OS}" "Logging of tests that have a different OS" AddSetting "show-report-solution" "${SETTING_SHOW_REPORT_SOLUTION}" "Show more details in report (solution)" - AddSetting "skip-upgrade-test" "${SKIP_UPGRADE_TEST}" "Skip upgrade test" - + AddSetting "skip-upgrade-test" "${SKIP_UPGRADE_TEST}" "Skip upgrade test" AddSetting "strict" "${SET_STRICT}" "Perform strict code test of scripts" unset SETTING_LOG_TESTS_INCORRECT_OS SETTING_SHOW_REPORT_SOLUTION |