3 source="${BASH_SOURCE[0]}"
5 # resolve $source until the file is no longer a symlink
6 while [[ -h "$source" ]]; do
7 scriptroot
="$( cd -P "$
( dirname "$source" )" && pwd )"
8 source="$(readlink "$source")"
9 # if $source was a relative symlink, we need to resolve it relative to the path where the
10 # symlink file was located
11 [[ $source != /* ]] && source="$scriptroot/$source"
13 scriptroot
="$( cd -P "$
( dirname "$source" )" && pwd )"
22 lowerI
="$(echo $1 | awk '{print tolower($0)}')"
45 extra_args
="$extra_args $1"
51 .
"$scriptroot/tools.sh"
53 if [[ "$ci" == true
]]; then