File tree 2 files changed +10
-2
lines changed
2 files changed +10
-2
lines changed Original file line number Diff line number Diff line change @@ -8,5 +8,9 @@ pip install --user unidiff
8
8
if [ " $TRAVIS_PULL_REQUEST " == " false" ]; then
9
9
$script_folder /run_diff.sh DOXYGEN HEAD~1 # Check for errors introduced in last commit
10
10
else
11
- $script_folder /run_diff.sh DOXYGEN $TRAVIS_BRANCH # Check for errors compared to merge target
11
+ TMP_HEAD=$( git rev-parse HEAD)
12
+ git config remote.origin.fetch +refs/heads/$TRAVIS_BRANCH :refs/remotes/origin/$TRAVIS_BRANCH
13
+ git fetch --unshallow
14
+ git checkout $TMP_HEAD
15
+ $script_folder /run_diff.sh DOXYGEN origin/$TRAVIS_BRANCH # Check for errors compared to merge target
12
16
fi
Original file line number Diff line number Diff line change @@ -8,5 +8,9 @@ pip install --user unidiff
8
8
if [ " $TRAVIS_PULL_REQUEST " == " false" ]; then
9
9
$script_folder /run_diff.sh CPPLINT HEAD~1 # Check for errors introduced in last commit
10
10
else
11
- $script_folder /run_diff.sh CPPLINT $TRAVIS_BRANCH # Check for errors compared to merge target
11
+ TMP_HEAD=$( git rev-parse HEAD)
12
+ git config remote.origin.fetch +refs/heads/$TRAVIS_BRANCH :refs/remotes/origin/$TRAVIS_BRANCH
13
+ git fetch --unshallow
14
+ git checkout $TMP_HEAD
15
+ $script_folder /run_diff.sh CPPLINT origin/$TRAVIS_BRANCH # Check for errors compared to merge target
12
16
fi
You can’t perform that action at this time.
0 commit comments