From f4ed6f11df80daa0890ef4b3d660b0ddd3428305 Mon Sep 17 00:00:00 2001 From: Michael Boelen Date: Sat, 13 Aug 2016 10:06:09 +0200 Subject: Adjusted setting in registration --- include/profiles | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include/profiles') diff --git a/include/profiles b/include/profiles index 6aa64620..cc41fd30 100644 --- a/include/profiles +++ b/include/profiles @@ -445,7 +445,7 @@ ################################################################################# # # Register the discovered settings - AddSetting "logging-tests-incorrect-os" "${SETTING_LOG_TESTS_INCORRECT_OS}" "Logging of tests that have a different OS" + 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)" unset SETTING_LOG_TESTS_INCORRECT_OS SETTING_SHOW_REPORT_SOLUTION # -- cgit v1.2.3