diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2014-05-10 06:19:11 +0300 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2014-05-10 06:19:11 +0300 |
commit | f053df31991afcc3f25b42160699d27d5ce2971f (patch) | |
tree | 0467425f691daf29cf8b89ff7fe358ff67bb339a | |
parent | c6bee83daf84746f5264bb862d2575b5667d16fa (diff) |
avoid merge
-rwxr-xr-x | jenkins-makesources | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/jenkins-makesources b/jenkins-makesources index c8b0425..b8e639d 100755 --- a/jenkins-makesources +++ b/jenkins-makesources @@ -25,17 +25,13 @@ then source $1 fi -if [ -d $upstream_source ] +if [ ! -d $upstream_source ] then - (cd $upstream_source; git pull ) -else git clone $upstream_repo $upstream_source fi -if [ -d $packaging_dir ] +if [ ! -d $packaging_dir ] then - (cd $packaging_dir; git pull ) -else git clone $packaging_repo fi |