diff --git a/include/parameters b/include/parameters index dd66d5bd..9adabe6d 100644 --- a/include/parameters +++ b/include/parameters @@ -345,8 +345,8 @@ ;; --tests-category | --tests-categories | --view-categories | --list-categories | --show-categories) - ShowError "Deprecated option" - ExitFatal + echo "Error: Deprecated option ($1)" + exit 1 ;; # Drop out when using wrong option(s)