Dmitry V. Levin 8727472041 ci: refactor cloning of additional repositories ...

* ci/install-dependencies.sh (clone_repo): New function.
Use it instead of direct invocations of git clone.

2018-03-13 15:12:14 +00:00

..

install-dependencies.sh

ci: refactor cloning of additional repositories

2018-03-13 15:12:14 +00:00

run-build-and-tests.sh

ci: extend error diagnostics when configure invocation fails

2018-03-13 15:12:14 +00:00