diff options
| author |   Taras Chornyi <tarasx.chornyi@intel.com> | 2017-07-27 08:34:20 -0400 |
|---|---|---|
| committer | Taras Chornyi <tarasx.chornyi@intel.com> | 2017-07-27 08:34:20 -0400 |
| commit | 2d4b6c3388164977cf2d115af65c0b4a9e9df2a4 (patch) | |
| tree | 892a7f254e4ee7162989514a05ded8896e1a4bfd | |
| parent | a35c425193d004f75e0404cd961bfc8adf3720c4 (diff) | |
Added possibility to checkout SHA version or branch for collectd repo
Change-Id: Ibaf8e287adb3a1cdc269f2357b3be98ba952982c
Signed-off-by: Taras Chornyi <tarasx.chornyi@intel.com>
| -rwxr-xr-x | ci/utility/collectd_get_sources.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ci/utility/collectd_get_sources.sh b/ci/utility/collectd_get_sources.sh index 69108e4f..59acf6c4 100755 --- a/ci/utility/collectd_get_sources.sh +++ b/ci/utility/collectd_get_sources.sh @@ -20,10 +20,11 @@ bash $DIR/check_git_repo.sh $COLLECTD_DIR $COLLECTD_REPO if [[ $? != 0 ]] then rm -rf $COLLECTD_DIR - git clone --branch $COLLECTD_BRANCH $COLLECTD_REPO $COLLECTD_DIR + git clone $COLLECTD_REPO $COLLECTD_DIR + cd $COLLECTD_DIR else cd $COLLECTD_DIR git reset HEAD --hard git pull - git checkout -f $COLLECTD_BRANCH fi +git checkout -f $COLLECTD_BRANCH |