diff options
author | mdecimus <mauro@stalw.art> | 2024-04-18 17:05:38 +0200 |
---|---|---|
committer | mdecimus <mauro@stalw.art> | 2024-04-18 17:05:38 +0200 |
commit | 7663d96d282d64fa05015643eadac88ed8b6424d (patch) | |
tree | 2d9f61c6868848402c8dcf3d4ea54344b2f4a0a5 /.github | |
parent | 4c873d840757dae6d67279fb0a872b3b5f9d3180 (diff) |
Use 16kb page size on Linux aarch64 (closes #289)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5abd8e90..10040840 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -84,6 +84,11 @@ jobs: sudo installer -allowUntrusted -dumplog -pkg FoundationDB-7.1.34_x86_64.pkg -target / echo "USE_FOUNDATIONDB=1" >> "$GITHUB_ENV" + - name: Update JEMALLOC_SYS_WITH_LG_PAGE (aarch64-*-linux-*) + if: startsWith(matrix.host_os, 'ubuntu') && startsWith(matrix.target, 'aarch64') + run: | + echo "JEMALLOC_SYS_WITH_LG_PAGE=16" >> "$GITHUB_ENV" + - name: Rust Cache uses: Swatinem/rust-cache@v2 with: |