| commit | 27dd70ca7184f749606b499811083f1b7b2c4bb1 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Aug 19 16:24:28 2022 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Aug 19 16:31:24 2022 -0400 |
| tree | e5cfa258a80c452bc1c8b45b4b7c2edf572c482e | |
| parent | 7e7bd899e89898775335b32201453b9a713c51ab [diff] [blame] |
build+ci: support macOS on arm64 This commit also syncs the CI config and scripts with ndn-cxx Change-Id: I1394126df41a6b6df22e74a304afaf170f460e24
diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh index e71deed..41843b1 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