diff options
| author |  Gareth Coles <[email protected]> | 2018-11-16 13:31:16 +0000 |
|---|---|---|
| committer | Gareth Coles <[email protected]> | 2018-11-16 13:31:16 +0000 |
| commit | 42e0d51b5c3b87a088d27fb046005e5d8b0c9cf1 (patch) | |
| tree | c781764d573294e648afce7b7b61d512c3f748e5 /scripts | |
| parent | Azure: Unfortunately I have to check this manually (diff) | |
Azure: Hopefully that'll do it
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/deploy-azure.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/deploy-azure.sh b/scripts/deploy-azure.sh index f700a4847..23573df82 100644 --- a/scripts/deploy-azure.sh +++ b/scripts/deploy-azure.sh @@ -1,9 +1,9 @@ #!/bin/bash -echo "PR ID: $SYSTEM_PULLREQUEST_PULLREQUESTID" +export SYSTEM_PULLREQUEST_PULLREQUESTID = $SYSTEM_PULLREQUEST_PULLREQUESTID | xargs # Build and deploy on master branch, only if not a pull request -if [[ ($BUILD_SOURCEBRANCHNAME == 'master') && (-z '$SYSTEM_PULLREQUEST_PULLREQUESTID') ]]; then +if [[ ($BUILD_SOURCEBRANCHNAME == 'master') && ($SYSTEM_PULLREQUEST_PULLREQUESTID == '') ]]; then changed_lines=$(git diff HEAD~1 HEAD docker/base.Dockerfile | wc -l) if [ $changed_lines != '0' ]; then |