diff options
Diffstat (limited to 'tools/ci/scripts/init.sh')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index 455673e..c935d31 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -11,8 +11,8 @@ cat /etc/os-release rm ${ERRFILE} function do_init { - $CC --version - $CXX --version + cd .. + ln -s evol-hercules server-plugin } function aptget_update { @@ -49,6 +49,19 @@ function aptget_install { fi } +function gitclone { + git clone $* + if [ "$?" != 0 ]; then + sleep 1s + git clone $* + if [ "$?" != 0 ]; then + sleep 3s + git clone $* + fi + fi + check_error $? +} + function check_error { if [ "$1" != 0 ]; then echo "error $1" @@ -119,4 +132,12 @@ function run_mplint { run_check_warnings } +function clone_tool { + gitclone https://gitlab.com/evol/evol-tools.git tools +} + +function clone_servercode { + gitclone https://gitlab.com/evol/hercules.git server-code +} + aptget_update |