| commit | 6d1b672e4e4229f2c2e40475128fb13e8f0439ed | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sat Aug 20 17:54:05 2022 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sat Aug 20 17:54:05 2022 -0400 |
| tree | e48add11835103d62db3dd62972eb817f70ca67f | |
| parent | 0251aae8a271f9da49ef9acd6faeb760d6a8ee5b [diff] [blame] |
build+ci: support macOS on arm64 This commit also syncs the CI config and scripts with ndn-cxx Change-Id: Ifc174313f673bae21f5c06fffb5fd70913a2f9b8
diff --git a/.jenkins.d/09-cleanup.sh b/.jenkins.d/09-cleanup.sh index 26254a5..c4840fa 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=ndncert