diff options
| author | Michael Boelen <michael.boelen@cisofy.com> | 2016-07-26 16:20:18 +0300 |
|---|---|---|
| committer | Michael Boelen <michael.boelen@cisofy.com> | 2016-07-26 16:20:18 +0300 |
| commit | 64075a8497cd5dd63db354e41be5af56c7035034 (patch) | |
| tree | d37fdd0ae5f626431691a889b58b0c829976fc4b /include/parameters | |
| parent | 0b5b4a47a350cf14e79480bb2c3650d4f209cfdf (diff) | |
Replaced function with generic echo, as functions are not available yet
Diffstat (limited to 'include/parameters')
| -rw-r--r-- | include/parameters | 4 |
1 files 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) |