From 4eae6650ecd85f06b0c0bee6f153fa3ac922e4ac Mon Sep 17 00:00:00 2001 From: Paul-Elliot Date: Sat, 1 Feb 2025 14:28:38 +0100 Subject: [PATCH] fix CI build --- release/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release/Dockerfile b/release/Dockerfile index e4581c7..7159bf2 100644 --- a/release/Dockerfile +++ b/release/Dockerfile @@ -8,5 +8,5 @@ RUN opam install -y --deps-only --with-test --with-doc . COPY --chown=opam . . -RUN sed -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' compiler/src/bin/static-linking-flags/static_linking_flags.ml +RUN sed -i 's/"()"/"(-cclib -static -cclib -no-pie)"/g' src/compiler/src/bin/static-linking-flags/static_linking_flags.ml