diff options
| -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 |