From cfe9846f0cb75cdc76617b8f9643dbea50eca888 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Feb 2022 13:59:42 -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 652f88f1c..2f4f4ba6a 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" FPMATH_ENABLED=False' + MacFlags: 'CXXFLAGS="-arch arm64 x86_64" LINK_EXTRA_FLAGS="-arch arm64 x86_64" SLINK_EXTRA_FLAGS="-arch arm64 x86_64" FPMATH_ENABLED=False' stages: - stage: Build