GitHub-CI (mingw): Remove workaround that's no longer needed since gn…

…ulib update
mmuetzel · Dec 2, 2023 · 690ef43 · 690ef43
1 parent 71ab45e
commit 690ef43
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/make.yaml b/.github/workflows/make.yaml
@@ -824,8 +824,7 @@ jobs:
           cd .build && ../configure \
             JAVA_HOME="" \
             --disable-docs \
-            ${{ matrix.extra-config-flags }} \
-            gl_cv_have_weak=no
+            ${{ matrix.extra-config-flags }}
 
       - 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.