2015-06-23 20:54:44 +03:00
|
|
|
#!/usr/bin/env bash
|
2014-05-03 01:45:22 +04:00
|
|
|
|
2018-12-04 02:52:29 +03:00
|
|
|
source="${BASH_SOURCE[0]}"
|
2017-04-26 05:38:42 +03:00
|
|
|
|
2018-12-04 02:52:29 +03:00
|
|
|
# resolve $SOURCE until the file is no longer a symlink
|
|
|
|
while [[ -h $source ]]; do
|
|
|
|
scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
|
|
|
|
source="$(readlink "$source")"
|
|
|
|
|
|
|
|
# if $source was a relative symlink, we need to resolve it relative to the path where the
|
|
|
|
# symlink file was located
|
|
|
|
[[ $source != /* ]] && source="$scriptroot/$source"
|
|
|
|
done
|
|
|
|
|
|
|
|
scriptroot="$( cd -P "$( dirname "$source" )" && pwd )"
|
2022-02-16 00:36:15 +03:00
|
|
|
"$scriptroot/eng/common/build.sh" --nodeReuse false --build --restore $@
|