| commit | 15a7442759a0bdb1e5089735cc15fe6a11f3b67c | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Fri Aug 19 15:48:45 2022 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Fri Aug 19 15:48:45 2022 -0400 |
| tree | 851aacf78cb7bbc59f803996ac9643640dc0fbb5 | |
| parent | 9c4bd6d711800c992c258fbc8d1e1fba63e3424d [diff] [blame] |
build+ci: support macOS on arm64 This commit also syncs the CI config and scripts with ndn-cxx Change-Id: I9866345393e2354e65a0082c047e846b2f8641f5
diff --git a/.jenkins.d/09-cleanup.sh b/.jenkins.d/09-cleanup.sh index fe007ef..531949c 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=ChronoSync