diff options
Diffstat (limited to '.github/workflows/compilers.yml')
| -rw-r--r-- | .github/workflows/compilers.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/compilers.yml b/.github/workflows/compilers.yml index 3bd7babcef..ea19c016fa 100644 --- a/.github/workflows/compilers.yml +++ b/.github/workflows/compilers.yml @@ -93,7 +93,7 @@ jobs: - { key: append_configure, name: jemalloc, value: '--with-jemalloc' } - { key: append_configure, name: valgrind, value: '--with-valgrind' } - { key: append_configure, name: 'coroutine=ucontext', value: '--with-coroutine=ucontext' } - - { key: append_configure, name: 'coroutine=copy', value: '--with-coroutine=copy' } + - { key: append_configure, name: 'coroutine=pthread', value: '--with-coroutine=pthread' } - { key: append_configure, name: disable-jit-support, value: '--disable-jit-support' } - { key: append_configure, name: disable-dln, value: '--disable-dln' } - { key: append_configure, name: disable-rubygems, value: '--disable-rubygems' } |