fix CI build

panglesd · Feb 1, 2025 · 4eae665 · 4eae665
1 parent ebe1fe1
commit 4eae665
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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