Mercurial > octave
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.