diff options
Diffstat (limited to 'test-compilation.sh')
| -rwxr-xr-x | test-compilation.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/test-compilation.sh b/test-compilation.sh index 800b745..e53bf85 100755 --- a/test-compilation.sh +++ b/test-compilation.sh @@ -17,7 +17,7 @@ prepare() project_dir="${3}" # clone - if ! git clone git://git.bofc.pl/"${project}" "${project}-${slot}" + if ! git clone "${project}-base" "${project}-${slot}" then echo "couldn't clone, sorry" exit 1 @@ -160,6 +160,13 @@ do slots+="${i} " done +# we will clone $job-number times, no need to bash the server with so much +# clone jobs, clone once and then we will use that local repo to clone from +if ! git clone git://git.bofc.pl/"${project}" "${project}-base"; then + echo "couldn't clone, sorry" + exit 1 +fi + # run preparation parallel --output-as-files --bar --results "${workdir}" \ --halt-on-error now,fail=1 --jobs ${num_jobs} \ |