| commit | da1a4d36a0a027254ac0f8356ab9eeea99664bf9 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Aug 19 19:03:24 2022 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Aug 19 19:54:33 2022 -0400 |
| tree | 04d94f859d278a9530c28c1cf72459fc9c07da8f | |
| parent | c407dee7bde9daed94cc47901a039c53abc9d8ce [diff] [blame] |
build+ci: support macOS on arm64 This commit also syncs the CI config and scripts with ndn-cxx Change-Id: I0403bfcf211e41e15fa59bbbee4cbd1966d9c708
diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh index 38315fa..236d441 100755 --- a/.jenkins.d/30-coverage.sh +++ b/.jenkins.d/30-coverage.sh
@@ -1,5 +1,5 @@ #!/usr/bin/env bash -set -ex +set -exo pipefail if [[ $JOB_NAME == *"code-coverage" ]]; then # Generate an XML report (Cobertura format) and a detailed HTML report using gcovr