From 5333edd1db79688edfcd8d981e660385812d5975 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9mentine=20Urquizar=20-=20curqui?= Date: Thu, 23 Feb 2023 17:39:31 +0100 Subject: [PATCH] Update Dockerfile Co-authored-by: Markus Machatschek --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 54f2f0519..6cd6eb37d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -12,7 +12,7 @@ ENV RUSTFLAGS="-C target-feature=-crt-static" COPY . . RUN set -eux; \ arch="$(dpkg --print-architecture)"; \ - if [ "$arch" = "aarch64" ]; then \ + if [ "$arch" = "arm64" ]; then \ export JEMALLOC_SYS_WITH_LG_PAGE=16; \ fi && \ cargo build --release