diff options
author | Martin Kulhavy <martin.kulhavy@nokia.com> | 2017-08-22 14:07:07 +0300 |
---|---|---|
committer | Martin Kulhavy <martin.kulhavy@nokia.com> | 2017-08-22 14:07:07 +0300 |
commit | e4212ab9dc23be9d0aa9f2593e20c78aa0e9c2c2 (patch) | |
tree | b04f4bccb0b5190ab8c89eedae0ea42aa0a8c124 /ci/tools.sh | |
parent | 026ed9cccd75b70fd09e048e9cc7d0af60365328 (diff) |
Move tools.sh to ci/common dir
This file is only sourced by other script and is not meant to be
executed (contains only functions).
Change-Id: I41253b73f720e4b7e987c5164901253c7e51ee8b
Signed-off-by: Martin Kulhavy <martin.kulhavy@nokia.com>
Diffstat (limited to 'ci/tools.sh')
-rw-r--r-- | ci/tools.sh | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/ci/tools.sh b/ci/tools.sh deleted file mode 100644 index 45db67e1..00000000 --- a/ci/tools.sh +++ /dev/null @@ -1,62 +0,0 @@ -############################################################################## -# Copyright (c) 2017 Nokia and others. -# -# All rights reserved. This program and the accompanying materials -# are made available under the terms of the Apache License, Version 2.0 -# which accompanies this distribution, and is available at -# http://www.apache.org/licenses/LICENSE-2.0 -############################################################################## - -# include only once -[ ! -z "$_tools_included" ] && return || readonly _tools_included=true - -####################################### -# Echo printing in yellow bold color -# Arguments: -# Same as for echo -# Returns: -# None -####################################### -function echo_info { ( - # don't clutter the script output with the xtrace of the echo command - { set +x; } 2> /dev/null - - yellow_bold='\033[1;33m' - color_off='\033[0m' - echo "${@:1:($#-1)}" -e "$yellow_bold${@: -1}$color_off"; - ) -} - -####################################### -# Echo error (to stderr) -# Arguments: -# Same as for echo -# Returns: -# None -####################################### -function echo_error { ( - # don't clutter the script output with the xtrace of the echo command - { set +x; } 2> /dev/null - - red_bold='\033[1;31m' - color_off='\033[0m' - >&2 echo "${@:1:($#-1)}" -e "$red_bold${@: -1}$color_off"; - ) -} - -####################################### -# Echo warning (to stderr) -# Arguments: -# Same as for echo -# Returns: -# None -####################################### -function echo_warning { ( - # don't clutter the script output with the xtrace of the echo command - { set +x; } 2> /dev/null - - red_italic='\033[3;91m' - color_off='\033[0m' - >&2 echo "${@:1:($#-1)}" -e "$red_italic${@: -1}$color_off"; - ) -} |