Anton Maklakov f194a6bdba CI: Fix the getting sources ...

Fix the getting sources for a case if the required commit is missed
    in the remote submodule repository.

    Also add more diagnostic.

2017-07-06 16:48:07 +08:00

..

build_examples.sh

CI: Move the ci-related staff to a separate directory

2017-06-30 11:57:07 +08:00

configure_ci_environment.sh

CI: Use local mirrors for submodules

2017-06-30 12:06:02 +08:00

get-full-sources.sh

CI: Fix the getting sources

2017-07-06 16:48:07 +08:00

mirror-list.txt

CI: Add script for synchronization of the local mirrors for submodules

2017-06-30 12:07:06 +08:00

mirror-submodule-update.sh

CI: Fix the getting sources

2017-07-06 16:48:07 +08:00

mirror-synchronize.sh

CI: Add script for synchronization of the local mirrors for submodules

2017-06-30 12:07:06 +08:00

test_build_system.sh

CI: Move the ci-related staff to a separate directory

2017-06-30 11:57:07 +08:00

test_configure_ci_environment.sh

CI: Move the ci-related staff to a separate directory

2017-06-30 11:57:07 +08:00