Build system: Move helper scripts to _build/tools dir

This commit is contained in:
Daniel Rudolf 2017-10-22 21:15:29 +02:00
parent 63616b5888
commit 81ebc4c33e
No known key found for this signature in database
GPG key ID: A061F02CD8DE4538
11 changed files with 6 additions and 2 deletions

View file

@ -28,7 +28,7 @@ jobs:
- '[[ ",$DEPLOY_PHPDOC_BRANCHES," == *,"$TRAVIS_BRANCH",* ]] || travis_terminate 0'
- install.sh
script:
- deploy-phpdoc-branch.sh
- deploy-branch.sh
# Release stage
- stage: release
@ -36,7 +36,7 @@ jobs:
- '[ -n "$TRAVIS_TAG" ] || travis_terminate 0'
- install.sh --release
script:
- deploy-phpdoc-release.sh
- deploy-release.sh
before_deploy:
- create-release-archive.sh "pico-release-$TRAVIS_TAG.tar.gz"
deploy:

View file

@ -1,5 +1,7 @@
#!/usr/bin/env bash
export PATH="$(dirname "$0")/tools:$PATH"
DEPLOYMENT_ID="${TRAVIS_BRANCH//\//_}"
DEPLOYMENT_DIR="$TRAVIS_BUILD_DIR/_build/deploy-$DEPLOYMENT_ID.git"

View file

@ -13,6 +13,8 @@ if [ "$DEPLOY_PHPDOC_RELEASES" != "true" ] || [ "$DEPLOY_VERSION_BADGE" != "true
[ "$DEPLOY_PHPDOC_RELEASES" != "true" ] && [ "$DEPLOY_VERSION_BADGE" != "true" ] && [ "$DEPLOY_VERSION_FILE" != "true" ] && [ "$DEPLOY_CLOC_STATS" != "true" ] && exit 0 || echo
fi
export PATH="$(dirname "$0")/tools:$PATH"
DEPLOYMENT_ID="${TRAVIS_BRANCH//\//_}"
DEPLOYMENT_DIR="$TRAVIS_BUILD_DIR/_build/deploy-$DEPLOYMENT_ID.git"