diff options
Diffstat (limited to 'ci/test-git-branch.sh')
| -rwxr-xr-x | ci/test-git-branch.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ci/test-git-branch.sh b/ci/test-git-branch.sh index 1044343..55968ef 100755 --- a/ci/test-git-branch.sh +++ b/ci/test-git-branch.sh @@ -2,4 +2,6 @@ JOBSERVER=$1 -source <(ssh $JOBSERVER cat .ktestrc bin/_test-git-branch.sh) +while true; do + source <(ssh $JOBSERVER cat .ktestrc bin/_test-git-branch.sh) +done |