diff options
| -rw-r--r-- | .github/workflows/macos.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml index ba379293a9..48990e4870 100644 --- a/.github/workflows/macos.yml +++ b/.github/workflows/macos.yml @@ -32,7 +32,7 @@ jobs: configure_args: '--with-gcc=gcc-14' - test_task: check os: macos-14 - configure_args: '--with-jemalloc' + configure_args: '--with-jemalloc --with-opt-dir=$(brew --prefix jemalloc)' - test_task: check os: macos-14 configure_args: '--with-gmp' |