From 456b8ee68294acfb16eb624ff01f20b1edc9d547 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 21 Feb 2022 04:18:05 -0800 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 9a410c3110c..4ed072d7cca 100644 --- a/scripts/nightly.yaml +++ b/scripts/nightly.yaml @@ -1,6 +1,6 @@ variables: ReleaseVersion: '4.8.15' - MacFlags: 'CXXFLAGS="-archs arm64 x86_64" LINK_EXTRA_FLAGS="-archs arm64 x86_64" SLINK_EXTRA_FLAGS="-archs arm64 x86_64" FPMATH_ENABLED=False' + MacFlags: 'CXXFLAGS="-arch arm64 -arch x86_64" LINK_EXTRA_FLAGS="-arch arm64 -arch x86_64" SLINK_EXTRA_FLAGS="-arch arm64 -arch x86_64" FPMATH_ENABLED=False' stages: - stage: Build