commit ede596384531e1eec19672e51be26f0997ed0b5f
author Davide Pesavento <davidepesa@gmail.com> Fri Aug 26 20:35:44 2022 -0400
committer Davide Pesavento <davidepesa@gmail.com> Fri Aug 26 20:35:44 2022 -0400
tree ae1f2ff763a15765bc75aa6582ed8e7d3219600b
parent c1d0e8e34de10d5a5190734bdd7e3c6348852b1e

build+ci: support CentOS Stream 9 and macOS/arm64

This commit also syncs the CI config and scripts with ndn-cxx

Change-Id: Ie46b1d4b299bc95b03aa05d48efe366e1c72d54d

.jenkins.d/30-coverage.sh

diff --git a/.jenkins.d/30-coverage.sh b/.jenkins.d/30-coverage.sh
index 4ff1c3e..c758aaa 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