diff options
-rw-r--r-- | ci/build.ps1 | 4 |
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' } |