changeset 31840:3291f49ae696

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 18 Feb 2023 15:02:06 +0100
parents 45f8b601c992 (current diff) f184279bd67f (diff)
children 0e046fefbffa
files .github/workflows/make.yaml
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/.github/workflows/make.yaml	Thu Feb 16 15:13:35 2023 -0800
+++ b/.github/workflows/make.yaml	Sat Feb 18 15:02:06 2023 +0100
@@ -524,7 +524,8 @@
           mkdir .build
           cd .build && ../configure \
             JAVA_HOME="" \
-            --disable-docs
+            --disable-docs \
+            gl_cv_have_weak=no
 
       - name: build
         # Spawning processes seems to have a big overhead on this platform. Use a somewhat larger number of parallel processes to compensate for that.