diff --git a/.devops/full.Dockerfile b/.devops/full.Dockerfile index 491d67676..4e59e81b5 100644 --- a/.devops/full.Dockerfile +++ b/.devops/full.Dockerfile @@ -14,6 +14,6 @@ WORKDIR /app COPY . . -RUN make +RUN LLAMA_AVX2_ONLY=1 make ENTRYPOINT ["/app/.devops/tools.sh"] diff --git a/.devops/main.Dockerfile b/.devops/main.Dockerfile index 2e629f8ce..d66a9c64b 100644 --- a/.devops/main.Dockerfile +++ b/.devops/main.Dockerfile @@ -9,7 +9,7 @@ WORKDIR /app COPY . . -RUN make +RUN LLAMA_AVX2_ONLY=1 make FROM ubuntu:$UBUNTU_VERSION as runtime