| 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/09-cleanup.sh b/.jenkins.d/09-cleanup.sh index 0b9e5f8..1c308bb 100755 --- a/.jenkins.d/09-cleanup.sh +++ b/.jenkins.d/09-cleanup.sh
@@ -1,5 +1,5 @@ #!/usr/bin/env bash -set -ex +set -exo pipefail PROJ=PSync