PrivateCoffee/element-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

Remove directories if they exist

Browse source
This commit is contained in:
David Baker 2018-05-02 16:49:08 +01:00
parent 82349ec933
commit 9f8202c8a9
2 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/fetchdep.sh
View file

@ -5,6 +5,8 @@ set -e
org="$1"
repo="$2"
rm -r "$repo" || true
curbranch="$TRAVIS_PULL_REQUEST_BRANCH"
[ -z "$curbranch" ] && curbranch="$TRAVIS_BRANCH"
[ -z "$curbranch" ] && curbranch=`"echo $GIT_BRANCH" | sed -e 's/^origin\///'` # jenkins