From 23510710dd0fc3a70f28085a8f369e94a45f71a6 Mon Sep 17 00:00:00 2001 From: Lorenzooone Date: Fri, 29 Dec 2023 04:07:59 +0100 Subject: [PATCH] Update dockerfile agbabi --- docker-scripts/build-dockers/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker-scripts/build-dockers/Dockerfile b/docker-scripts/build-dockers/Dockerfile index 49a1f85..005a9d5 100644 --- a/docker-scripts/build-dockers/Dockerfile +++ b/docker-scripts/build-dockers/Dockerfile @@ -5,8 +5,8 @@ FROM debian:stable-slim as agbabi RUN apt-get update && apt-get install -y build-essential cmake gcc-arm-none-eabi git RUN git clone https://github.com/felixjones/agbabi && \ cd agbabi && \ - git checkout v2.1.4 && \ - cmake -S . -DCMAKE_TOOLCHAIN_FILE=cross/agb.cmake -B build && \ + git checkout 2adf1e6c01f9d4acd6f8e728892c5e18aae5332e && \ + cmake -S . -DCMAKE_TOOLCHAIN_FILE=cross/agb.cmake -DCMAKE_BUILD_TYPE=MinSizeRel -B build && \ cmake --build build && \ cmake --install build