Use .. for git diffs in the CI routines (#2140)

the double dot gets only commits not in the left side of the double dot.

The right side assumes HEAD.

This will allow us to fetch the correct list of new or modified files in the current branch.
This commit is contained in:
Leo Balter 2019-04-25 17:56:55 -04:00 committed by GitHub
parent 1e4c5ae01e
commit 3d4909b0fd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -1,7 +1,7 @@
#!/bin/bash
if [ "$CIRCLE_PULL_REQUEST" != "" ]; then
paths=$(git diff --diff-filter ACMR --name-only origin/master -- test/)
paths=$(git diff --diff-filter ACMR --name-only origin/master.. -- test/)
if [ "$paths" == "" ]; then
echo No test files added or modified. Exiting.

View File

@ -1,7 +1,7 @@
#!/bin/bash
if [ "$CIRCLE_PULL_REQUEST" != "" ]; then
paths=$(git diff --diff-filter ACMR --name-only origin/master -- test/)
paths=$(git diff --diff-filter ACMR --name-only origin/master.. -- test/)
if [ "$paths" == "" ]; then
echo No test files added or modified. Exiting.