Build system: Fix release deployment

This commit is contained in:
Daniel Rudolf 2017-12-24 14:21:32 +01:00
parent e517eac396
commit 1ce1780a86
No known key found for this signature in database
GPG key ID: A061F02CD8DE4538
2 changed files with 2 additions and 2 deletions

View file

@ -1,8 +1,8 @@
#!/usr/bin/env bash
set -e
. "$(dirname "$0")/tools/functions/parse-version.sh.inc"
export PATH="$PICO_TOOLS_DIR:$PATH"
. "$PICO_TOOLS_DIR/functions/parse-version.sh.inc"
# parameters
ARCHIVE="$1" # release archive file name

View file

@ -31,8 +31,8 @@ if [ "$DEPLOY_FULL" != "true" ]; then
echo
fi
. "$(dirname "$0")/tools/functions/parse-version.sh.inc"
export PATH="$PICO_TOOLS_DIR:$PATH"
. "$PICO_TOOLS_DIR/functions/parse-version.sh.inc"
# parse version
if ! parse_version "$PROJECT_REPO_TAG"; then