From 64075a8497cd5dd63db354e41be5af56c7035034 Mon Sep 17 00:00:00 2001 From: Michael Boelen Date: Tue, 26 Jul 2016 15:20:18 +0200 Subject: [PATCH] Replaced function with generic echo, as functions are not available yet --- include/parameters | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)