beenull/Pico
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Build system: Fix _build/github-clone.sh

Browse source
This commit is contained in:
Daniel Rudolf 2016-11-02 22:39:12 +01:00
parent fad5d869ee
commit 381b339b9f
No known key found for this signature in database
GPG key ID: A061F02CD8DE4538
1 changed files with 2 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
_build/github-clone.sh
View file

@ -23,11 +23,7 @@ printf 'CLONE_REPO_BRANCH="%s"\n' "$CLONE_REPO_BRANCH"
echo
# clone repo
git clone "$CLONE_REPO_URL" "$CLONE_TARGET_DIR"
# checkout branch
if [ -n "$CLONE_REPO_BRANCH" ]; then
git checkout "$CLONE_REPO_BRANCH"
fi
[ -n "$CLONE_REPO_BRANCH" ] || CLONE_REPO_BRANCH="master"
git clone --branch="$CLONE_REPO_BRANCH" "$CLONE_REPO_URL" "$CLONE_TARGET_DIR"
echo