From c47e5aff60ccc90df661800046ac4f52570c5be5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Feb 2022 14:03:13 -0800 Subject: [PATCH] multi 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 2f4f4ba6a..9a410c311 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -1,6 +1,6 @@ variables: ReleaseVersion: '4.8.15' - MacFlags: 'CXXFLAGS="-arch arm64 x86_64" LINK_EXTRA_FLAGS="-arch arm64 x86_64" SLINK_EXTRA_FLAGS="-arch arm64 x86_64" FPMATH_ENABLED=False' + MacFlags: 'CXXFLAGS="-archs arm64 x86_64" LINK_EXTRA_FLAGS="-archs arm64 x86_64" SLINK_EXTRA_FLAGS="-archs arm64 x86_64" FPMATH_ENABLED=False' stages: - stage: Build