diff options
author | 2018-11-16 12:33:13 +0000 | |
---|---|---|
committer | 2018-11-16 12:33:13 +0000 | |
commit | 138662eb447282722fee307e8d923039d1039124 (patch) | |
tree | 71ba6ee250362e1c015c81746114fdd840d60a34 /scripts | |
parent | Azure: Finish deployment; skip if PR (diff) |
Azure: Did I ever say I hate bash?
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/deploy-azure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/deploy-azure.sh b/scripts/deploy-azure.sh index 659a297bf..fe1aeb245 100644 --- a/scripts/deploy-azure.sh +++ b/scripts/deploy-azure.sh @@ -3,7 +3,7 @@ if [[ ]] # 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' && -z "${SYSTEM_PULLREQUEST_PULLREQUESTID}" ]]; then changed_lines=$(git diff HEAD~1 HEAD docker/base.Dockerfile | wc -l) if [ $changed_lines != '0' ]; then |