nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Feb 21, 2022 · 456b8ee · 456b8ee
1 parent c47e5af
commit 456b8ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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