diff options
-rwxr-xr-x | .tools/init.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.tools/init.sh b/.tools/init.sh index 4fe533ef..57109b63 100755 --- a/.tools/init.sh +++ b/.tools/init.sh @@ -19,6 +19,7 @@ function gitclone1 { } function gitclone { + printf '$CI_BUILD_REPO is $s\n' "$CI_BUILD_REPO" export name1=$1/$2 export name2=${CI_BUILD_REPO##*@} export name2=https://${name2%/*}/$2 |