]> granicus.if.org Git - esp-idf/commit
projects / esp-idf / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d03d42) | patch
CI: Fix the getting sources
authorAnton Maklakov <anton@espressif.com>
Mon, 3 Jul 2017 08:28:58 +0000 (16:28 +0800)
committerAnton Maklakov <anton@espressif.com>
Thu, 6 Jul 2017 08:48:07 +0000 (16:48 +0800)
commitf194a6bdbaf78e14812d0f1cabf22cc759da35f9
treedffe1a689cca77f99f03715d0582f17489219d30tree | snapshot
parent6d03d42d2f95eb203bc061714ff5e61c45478111commit | diff
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.
tools/ci/get-full-sources.sh diff | blob | history
tools/ci/mirror-submodule-update.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.