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