aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ci/build.ps14
1 files changed, 4 insertions, 0 deletions
diff --git a/ci/build.ps1 b/ci/build.ps1
index df70b44458..a04ef56f81 100644
--- a/ci/build.ps1
+++ b/ci/build.ps1
@@ -20,6 +20,10 @@ function exitIfFailed() {
}
if ($compiler -eq 'MINGW') {
+ if ($env:APPVEYOR_PULL_REQUEST_HEAD_COMMIT -and $compileOption -ne 'gcov') {
+ exit 0
+ }
+
if ($bits -eq 32) {
$arch = 'i686'
}