From 14ee02183c043c95d077d3ea8413ecfda4b45c93 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Feb 2022 13:43:11 +0200 Subject: [PATCH] nightly Signed-off-by: Nikolaj Bjorner --- scripts/nightly.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index 2bf85c562..de647ee9a 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -1,6 +1,6 @@ variables: ReleaseVersion: '4.8.15' - MacFlags: 'CXXFLAGS="-arch arm64" LINK_EXTRA_FLAGS="-arch arm64" SLINK_EXTRA_FLAGS="-arch arm64"' + MacFlags: 'CXXFLAGS="-arch arm64" LINK_EXTRA_FLAGS="-arch arm64" SLINK_EXTRA_FLAGS="-arch arm64" CPPFLAGS="-arch arm64"' stages: - stage: Build